Language.Haskell.Liquid.Constraint.Generate

This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.

Documentation

generateConstraints :: TargetInfo -> CGInfo

Constraint Generation: Toplevel -------------------------------------------

generateConstraintsWithEnv :: TargetInfo -> CGInfo -> CGEnv -> CGInfo

caseEnv :: CGEnv -> Var -> [AltCon] -> AltCon -> [Var] -> Maybe [Int] -> CG CGEnv

consE :: CGEnv -> CoreExpr -> CG SpecType

Bidirectional Constraint Generation: SYNTHESIS ----------------------------

Orphan instances

MonadFail Identity

Methods

fail :: String -> Identity a