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
data SimplEnv
type StaticEnv
pprSimplEnv
mkSimplEnv
extendIdSubst
extendTvSubst
extendCvSubst
zapSubstEnv
setSubstEnv
getInScope
setInScope
setInScopeSet
modifyInScope
addNewInScopeIds
getSimplRules
data SimplSR
mkContEx
substId
lookupRecBndr
refineFromInScope
simplNonRecBndr
simplRecBndrs
simplBinder
simplBinders
substTy
substTyVar
getTCvSubst
substCo
substCoVar
data Floats
emptyFloats
isEmptyFloats
addNonRec
addFloats
extendFloats
wrapFloats
setFloats
zapFloats
addRecFloats
mapFloats
doFloatFromRhs
getFloatBinds