| Safe Haskell | Safe-Infered |
|---|
Language.Haskell.Liquid.Constraint
Contents
Description
This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.
- data CGInfo = CGInfo {
- hsCs :: ![SubC]
- hsWfs :: ![WfC]
- fixCs :: ![FixSubC]
- fixWfs :: ![FixWfC]
- globals :: !FEnv
- freshIndex :: !Integer
- binds :: !BindEnv
- annotMap :: !(AnnInfo Annot)
- tyConInfo :: !(HashMap TyCon RTyCon)
- specQuals :: ![Qualifier]
- tyConEmbed :: !(TCEmb TyCon)
- kuts :: !Kuts
- lits :: ![(Symbol, Sort)]
- refsymbols :: !(SEnv SpecType)
- newtype Cinfo = Ci SrcSpan
- generateConstraints :: GhcInfo -> CGInfo
Constraint information output by generator
Constructors
| CGInfo | |
Fields
| |
Instances