Language.Haskell.Liquid.Constraint.Env

Contents

• Insert
• Construction
• Query
• Pruning refinements (TODO: move!)
• Extend CGEnv
• Lookup CGEnv

Description

Synopsis

• (+++=) :: (CGEnv, String) -> (Symbol, CoreExpr, SpecType) -> CG CGEnv
• (+=) :: CGEnv -> (String, Symbol, SpecType) -> CG CGEnv
• extendEnvWithVV :: CGEnv -> SpecType -> CG CGEnv
• addBinders :: CGEnv -> Symbol -> [(Symbol, SpecType)] -> CG CGEnv
• addSEnv :: CGEnv -> (String, Symbol, SpecType) -> CG CGEnv
• (-=) :: CGEnv -> Symbol -> CGEnv
• globalize :: CGEnv -> CGEnv
• fromListREnv :: [(Symbol, SpecType)] -> [(Symbol, SpecType)] -> REnv
• toListREnv :: REnv -> [(Symbol, SpecType)]
• insertREnv :: Symbol -> SpecType -> REnv -> REnv
• localBindsOfType :: RRType r -> REnv -> [Symbol]
• lookupREnv :: Symbol -> REnv -> Maybe SpecType
• (?=) :: (?callStack :: CallStack) => CGEnv -> Symbol -> Maybe SpecType
• rTypeSortedReft' :: (PPrint r, Reftable r, SubsTy RTyVar RSort r, Reftable (RTProp RTyCon RTyVar r)) => Bool -> CGEnv -> RRType r -> SortedReft
• setLocation :: CGEnv -> Span -> CGEnv
• setBind :: CGEnv -> Var -> CGEnv
• setRecs :: CGEnv -> [Var] -> CGEnv
• setTRec :: CGEnv -> [(Var, SpecType)] -> CGEnv
• getLocation :: CGEnv -> SrcSpan

Insert

Construction

Query

Pruning refinements (TODO: move!)

Extend CGEnv

Lookup CGEnv