Language.Haskell.Liquid.Strata

Documentation

class SubStratum a where

Minimal complete definition

subS

Methods

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

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

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)]

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