liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Types

Synopsis

Constraint Generation Monad

Constraint information

data CGInfo Source #

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

Constructors

CGInfo 

Fields

Instances

Instances details
NFData CGInfo Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

rnf :: CGInfo -> () #

PPrint CGInfo Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

pprintTidy :: Tidy -> CGInfo -> Doc #

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

Freshable CG Integer Source #

This is all hardwiring stuff to CG ----------------------------------------

Instance details

Defined in Language.Haskell.Liquid.Constraint.Fresh

Constraint Generation Environment

data CGEnv Source #

Constructors

CGE 

Fields

Instances

Instances details
Show CGEnv Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

showsPrec :: Int -> CGEnv -> ShowS #

show :: CGEnv -> String #

showList :: [CGEnv] -> ShowS #

NFData CGEnv Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

rnf :: CGEnv -> () #

PPrint CGEnv Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

pprintTidy :: Tidy -> CGEnv -> Doc #

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

HasConfig CGEnv Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Logical constraints (FIXME: related to bounds?)

Fixpoint environment

data FEnv Source #

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

Constructors

FE 

Fields

Instances

Instances details
NFData FEnv Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

rnf :: FEnv -> () #

Hole Environment

data HEnv Source #

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

Subtyping Constraints

data SubC Source #

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

Constructors

SubC 

Fields

SubR 

Fields

Instances

Instances details
NFData SubC Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

rnf :: SubC -> () #

PPrint SubC Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

pprintTidy :: Tidy -> SubC -> Doc #

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

Well-formedness Constraints

data WfC Source #

Constructors

WfC !CGEnv !SpecType 

Instances

Instances details
NFData WfC Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

rnf :: WfC -> () #

PPrint WfC Source # 
Instance details

Defined in Language.Haskell.Liquid.Constraint.Types

Methods

pprintTidy :: Tidy -> WfC -> Doc #

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

Invariants

Aliases?