liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Types.Strata

Documentation

class SubStratum a where Source

Minimal complete definition

subS

Methods

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

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

Instances

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

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