liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
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 #

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 # 
Instance details

Methods

fail :: String -> Identity a #