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

Language.Haskell.Liquid.Constraint.Env

Description

This module defines the representation for Environments needed during constraint generation.

Synopsis

Insert

Construction

Query

(?=) :: (?callStack :: CallStack) => CGEnv -> Symbol -> Maybe SpecType Source #

Pruning refinements (TODO: move!)

Extend CGEnv

Lookup CGEnv