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

Language.Haskell.Liquid.Constraint.Generate

Description

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

Synopsis

Documentation

generateConstraints :: TargetInfo -> CGInfo Source #

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

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

consE :: CGEnv -> CoreExpr -> CG SpecType Source #

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

Orphan instances

MonadFail Identity Source # 
Instance details

Methods

fail :: String -> Identity a #