Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Types.Strata

Documentation

Minimal complete definition

Methods

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

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

Instances

SubStratum Stratum Source #
Methods subS :: (Symbol, Stratum) -> Stratum -> Stratum Source # subsS :: [(Symbol, Stratum)] -> Stratum -> Stratum Source #
SubStratum SpecType Source #
Methods subS :: (Symbol, Stratum) -> SpecType -> SpecType Source # subsS :: [(Symbol, Stratum)] -> SpecType -> SpecType Source #
SubStratum SubC Source #
Methods subS :: (Symbol, Stratum) -> SubC -> SubC Source # subsS :: [(Symbol, Stratum)] -> SubC -> SubC Source #
SubStratum a => SubStratum [a] Source #
Methods subS :: (Symbol, Stratum) -> [a] -> [a] Source # subsS :: [(Symbol, Stratum)] -> [a] -> [a] Source #
SubStratum (Annot SpecType) Source #
Methods subS :: (Symbol, Stratum) -> Annot SpecType -> Annot SpecType Source # subsS :: [(Symbol, Stratum)] -> Annot SpecType -> Annot SpecType Source #
(SubStratum a, SubStratum b) => SubStratum (a, b) Source #
Methods subS :: (Symbol, Stratum) -> (a, b) -> (a, b) Source # subsS :: [(Symbol, Stratum)] -> (a, b) -> (a, b) Source #