SimplEnv
setMode
getMode
updMode
data SimplEnv
type StaticEnv
pprSimplEnv
mkSimplEnv
extendIdSubst
extendTvSubst
extendCvSubst
zapSubstEnv
setSubstEnv
getInScope
setInScopeAndZapFloats
setInScopeSet
modifyInScope
addNewInScopeIds
getSimplRules
data SimplSR
mkContEx
substId
lookupRecBndr
refineFromInScope
isJoinIdInEnv_maybe
Id
simplNonRecBndr
simplNonRecJoinBndr
simplRecBndrs
simplRecJoinBndrs
simplBinder
simplBinders
substTy
substTyVar
getTCvSubst
substCo
substCoVar
data Floats
emptyFloats
isEmptyFloats
addNonRec
addFloats
extendFloats
wrapFloats
setFloats
zapFloats
addRecFloats
mapFloats
doFloatFromRhs
getFloatBinds
type JoinFloats
emptyJoinFloats
isEmptyJoinFloats
wrapJoinFloats
zapJoinFloats
restoreJoinFloats
getJoinFloatBinds