Language.Haskell.Liquid.Constraint.Types

Constraint Generation Monad

type CG

Constraint information

data CGInfo

Constraint Generation Environment

data CGEnv

Logical constraints (FIXME: related to bounds?)

data LConstraint

Fixpoint environment

data FEnv

initFEnv

insertsFEnv

Hole Environment

data HEnv

fromListHEnv

elemHEnv

Subtyping Constraints

data SubC

type FixSubC

subVar

Well-formedness Constraints

data WfC

type FixWfC

Invariants

type RTyConInv

mkRTyConInv

addRTyConInv

addRInv

Aliases?

type RTyConIAl

mkRTyConIAl

removeInvariant

restoreInvariant

makeRecInvariants

addArgument

addArguments