SimplEnv
type InId
type InBind
type InExpr
type InAlt
type InArg
type InType
type InBndr
type InVar
type OutId
type OutTyVar
type OutBind
type OutExpr
type OutAlt
type OutArg
type OutType
type OutBndr
type OutVar
type InCoercion
type OutCoercion
setMode
getMode
updMode
setEnclosingCC
getEnclosingCC
data SimplEnv
type StaticEnv
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
substTy
substTyVar
getTvSubst
mkCoreSubst
data Floats
emptyFloats
isEmptyFloats
addNonRec
addFloats
extendFloats
wrapFloats
floatBinds
setFloats
zapFloats
addRecFloats
doFloatFromRhs
getFloats