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