liquidhaskell-0.8.2.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Types

Contents

Synopsis

Constraint Generation Monad

Constraint information

data CGInfo Source #

Generation: Types ---------------------------------------------------------

Constructors

CGInfo 

Fields

Instances

NFData CGInfo Source # 

Methods

rnf :: CGInfo -> () #

PPrint CGInfo Source # 

Methods

pprintTidy :: Tidy -> CGInfo -> Doc #

pprintPrec :: Int -> Tidy -> CGInfo -> Doc #

Constraint Generation Environment

data CGEnv Source #

Constructors

CGE 

Fields

Logical constraints (FIXME: related to bounds?)

Fixpoint environment

data FEnv Source #

Fixpoint Environment ------------------------------------------------------

Constructors

FE 

Fields

Instances

NFData FEnv Source # 

Methods

rnf :: FEnv -> () #

Hole Environment

data HEnv Source #

Helper Types: HEnv --------------------------------------------------------

Subtyping Constraints

data SubC Source #

Subtyping Constraints -----------------------------------------------------

Constructors

SubC 

Fields

SubR 

Fields

Instances

NFData SubC Source # 

Methods

rnf :: SubC -> () #

PPrint SubC Source # 

Methods

pprintTidy :: Tidy -> SubC -> Doc #

pprintPrec :: Int -> Tidy -> SubC -> Doc #

SubStratum SubC Source # 

Methods

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

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

Well-formedness Constraints

data WfC Source #

Constructors

WfC !CGEnv !SpecType 

Instances

NFData WfC Source # 

Methods

rnf :: WfC -> () #

PPrint WfC Source # 

Methods

pprintTidy :: Tidy -> WfC -> Doc #

pprintPrec :: Int -> Tidy -> WfC -> Doc #

Invariants

Aliases?