Language.Fixpoint.Types.Environments

Environments

data SEnv a

data SESearch a

emptySEnv

toListSEnv

fromListSEnv

fromMapSEnv

mapSEnvWithKey

mapSEnv

mapMSEnv

insertSEnv

deleteSEnv

memberSEnv

lookupSEnv

unionSEnv

unionSEnv'

intersectWithSEnv

differenceSEnv

filterSEnv

lookupSEnvWithDistance

envCs

Local Constraint Environments

data IBindEnv

type BindId

type BindMap a

emptyIBindEnv

insertsIBindEnv

deleteIBindEnv

elemsIBindEnv

memberIBindEnv

unionIBindEnv

diffIBindEnv

intersectionIBindEnv

nullIBindEnv

filterIBindEnv

Global Binder Environments

type BindEnv

beBinds

emptyBindEnv

insertBindEnv

lookupBindEnv

filterBindEnv

mapBindEnv

mapWithKeyMBindEnv

adjustBindEnv

bindEnvFromList

bindEnvToList

elemsBindEnv

Information needed to lookup and update Solutions

data SolEnv

Groups of KVars (needed by eliminate)

data Packs

getPack

makePack