liquidhaskell-0.8.0.2: 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 :: GhcInfo -> CGInfo Source #

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