SimplEnv
type
InId
type
InBind
type
InExpr
type
InAlt
type
InArg
type
InType
type
InBndr
type
OutId
type
OutTyVar
type
OutBind
type
OutExpr
type
OutAlt
type
OutArg
type
OutType
type
OutBndr
type
InCoercion
type
OutCoercion
setMode
getMode
type
SwitchChecker
data
SwitchResult
getSwitchChecker
getSimplIntSwitch
isAmongSimpl
intSwitchSet
switchIsOn
setEnclosingCC
getEnclosingCC
data
SimplEnv
pprSimplEnv
mkSimplEnv
extendIdSubst
extendTvSubst
zapSubstEnv
setSubstEnv
getInScope
setInScope
setInScopeSet
modifyInScope
addNewInScopeIds
getSimplRules
data
SimplSR
mkContEx
substId
lookupRecBndr
simplNonRecBndr
simplRecBndrs
simplLamBndr
simplLamBndrs
simplBinder
simplBinders
addBndrRules
substExpr
substWorker
substTy
data
Floats
emptyFloats
isEmptyFloats
addNonRec
addFloats
extendFloats
wrapFloats
floatBinds
setFloats
zapFloats
addRecFloats
doFloatFromRhs
getFloats