liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Init

Description

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

Documentation

initEnv :: GhcInfo -> CG CGEnv Source #

initCGI :: Config -> GhcInfo -> CGInfo Source #