Language.Haskell.Liquid.Types.Strata

Documentation

class SubStratum a where

Minimal complete definition

subS

Methods

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

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

Instances

SubStratum Stratum

Methods

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

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

SubStratum SpecType

Methods

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

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

SubStratum SubC

Methods

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

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

SubStratum a => SubStratum [a]

Methods

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

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

SubStratum (Annot SpecType)

Methods

subS :: (Symbol, Stratum) -> Annot SpecType -> Annot SpecType

subsS :: [(Symbol, Stratum)] -> Annot SpecType -> Annot SpecType

(SubStratum a, SubStratum b) => SubStratum (a, b)

Methods

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

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

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

(<:=) :: (Foldable t, Foldable t1) => t Stratum -> t1 Stratum -> Bool