Documentation
type InCoercion = CoercionSource
type OutCoercion = CoercionSource
setMode :: SimplifierMode -> SimplEnv -> SimplEnvSource
updMode :: (SimplifierMode -> SimplifierMode) -> SimplEnv -> SimplEnvSource
SimplEnv | |
|
pprSimplEnv :: SimplEnv -> SDocSource
setSubstEnv :: SimplEnv -> TvSubstEnv -> SimplIdSubst -> SimplEnvSource
setInScope :: SimplEnv -> SimplEnv -> SimplEnvSource
setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnvSource
modifyInScope :: SimplEnv -> CoreBndr -> SimplEnvSource
addNewInScopeIds :: SimplEnv -> [CoreBndr] -> SimplEnvSource
lookupRecBndr :: SimplEnv -> InId -> OutIdSource
substTyVar :: SimplEnv -> TyVar -> TypeSource
getTvSubst :: SimplEnv -> TvSubstSource
mkCoreSubst :: SDoc -> SimplEnv -> SubstSource
isEmptyFloats :: SimplEnv -> BoolSource
extendFloats :: SimplEnv -> OutBind -> SimplEnvSource
wrapFloats :: SimplEnv -> OutExpr -> OutExprSource
floatBinds :: Floats -> [OutBind]Source
addRecFloats :: SimplEnv -> SimplEnv -> SimplEnvSource
doFloatFromRhs :: TopLevelFlag -> RecFlag -> Bool -> OutExpr -> SimplEnv -> BoolSource