liquidhaskell-0.8.0.2: 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, SpecType) -> CG CGEnv Source #

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

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

(-=) :: CGEnv -> Symbol -> 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 #

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

Pruning refinements (TODO: move!)

rTypeSortedReft' :: (PPrint r, Reftable r, SubsTy RTyVar RSort r, Reftable (RTProp RTyCon RTyVar r)) => Bool -> CGEnv -> RRType r -> SortedReft Source #

Extend CGEnv

Lookup CGEnv