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