liquidhaskell-0.3.1.0: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Strata

Documentation

class SubStratum a where Source

Minimal complete definition

Methods

subS :: (Symbol, Stratum) -> a -> a Source

subsS :: [(Symbol, Stratum)] -> a -> a Source

Instances

SubStratum Stratum
SubStratum SpecType
SubStratum SubC
SubStratum a => SubStratum [a]
SubStratum (Annot SpecType)
(SubStratum a, SubStratum b) => SubStratum (a, b)

solveStrata :: [([Stratum], [Stratum])] -> [(Symbol, Stratum)] Source

(<:=) :: [Stratum] -> [Stratum] -> Bool Source