SimplEnv

The simplifier mode

setMode

getMode

updMode

Environments

data SimplEnv

type StaticEnv

pprSimplEnv

mkSimplEnv

extendIdSubst

extendTvSubst

extendCvSubst

zapSubstEnv

setSubstEnv

getInScope

setInScopeAndZapFloats

setInScopeSet

modifyInScope

addNewInScopeIds

getSimplRules

Substitution results

data SimplSR

mkContEx

substId

lookupRecBndr

refineFromInScope

isJoinIdInEnv_maybe

Simplifying Id binders

simplNonRecBndr

simplNonRecJoinBndr

simplRecBndrs

simplRecJoinBndrs

simplBinder

simplBinders

substTy

substTyVar

getTCvSubst

substCo

substCoVar

Floats

data Floats

emptyFloats

isEmptyFloats

addNonRec

addFloats

extendFloats

wrapFloats

setFloats

zapFloats

addRecFloats

mapFloats

doFloatFromRhs

getFloatBinds

type JoinFloats

emptyJoinFloats

isEmptyJoinFloats

wrapJoinFloats

zapJoinFloats

restoreJoinFloats

getJoinFloatBinds