liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Env

Contents

Description

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

Synopsis

Insert

(+++=) :: (CGEnv, String) -> (Symbol, CoreExpr, SpecType) -> CG CGEnv Source

(++=) :: CGEnv -> (String, Symbol, SpecType) -> CG CGEnv Source

(+=) :: (CGEnv, String) -> (Symbol, SpecType) -> CG CGEnv Source

extendEnvWithVV :: CGEnv -> SpecType -> CG CGEnv Source

addBinders :: CGEnv -> Symbol -> [(Symbol, SpecType)] -> CG CGEnv Source

addSEnv :: CGEnv -> (String, Symbol, SpecType) -> CG CGEnv Source

(-=) :: CGEnv -> Symbol -> CGEnv Source

globalize :: CGEnv -> CGEnv Source

Construction

fromListREnv :: [(Symbol, SpecType)] -> [(Symbol, SpecType)] -> REnv Source

toListREnv :: REnv -> [(Symbol, SpecType)] Source

insertREnv :: Symbol -> SpecType -> REnv -> REnv Source

Query

localBindsOfType :: RRType r -> REnv -> [Symbol] Source

lookupREnv :: Symbol -> REnv -> Maybe SpecType Source

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

Pruning refinements (TODO: move!)

rTypeSortedReft' :: (Reftable r, PPrint r) => Bool -> CGEnv -> RRType r -> SortedReft Source

Extend CGEnv

setLocation :: CGEnv -> Span -> CGEnv Source

setBind :: CGEnv -> Var -> CGEnv Source

setRecs :: CGEnv -> [Var] -> CGEnv Source

setTRec :: CGEnv -> [(Var, SpecType)] -> CGEnv Source

Lookup CGEnv

getLocation :: CGEnv -> SrcSpan Source