Safe Haskell | None |
---|
Documentation
type InCoercion = CoercionSource
type OutCoercion = CoercionSource
setMode :: SimplifierMode -> SimplEnv -> SimplEnvSource
updMode :: (SimplifierMode -> SimplifierMode) -> SimplEnv -> SimplEnvSource
SimplEnv | |
|
pprSimplEnv :: SimplEnv -> SDocSource
setSubstEnv :: SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnvSource
setInScope :: SimplEnv -> SimplEnv -> SimplEnvSource
setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnvSource
modifyInScope :: SimplEnv -> CoreBndr -> SimplEnvSource
addNewInScopeIds :: SimplEnv -> [CoreBndr] -> SimplEnvSource
DoneEx OutExpr | |
DoneId OutId | |
ContEx TvSubstEnv CvSubstEnv SimplIdSubst InExpr |
lookupRecBndr :: SimplEnv -> InId -> OutIdSource
substTyVar :: SimplEnv -> TyVar -> TypeSource
getTvSubst :: SimplEnv -> TvSubstSource
getCvSubst :: SimplEnv -> CvSubstSource
substCoVar :: SimplEnv -> CoVar -> CoercionSource
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
getFloatBinds :: SimplEnv -> [CoreBind]Source