Documentation

type InId = IdSource

type InBind = CoreBindSource

type InExpr = CoreExprSource

type InAlt = CoreAltSource

type InArg = CoreArgSource

type InType = TypeSource

type InBndr = CoreBndrSource

type InVar = VarSource

type OutId = IdSource

type OutTyVar = TyVarSource

type OutBind = CoreBindSource

type OutExpr = CoreExprSource

type OutAlt = CoreAltSource

type OutArg = CoreArgSource

type OutType = TypeSource

type OutBndr = CoreBndrSource

type OutVar = VarSource

type InCoercion = CoercionSource

type OutCoercion = CoercionSource

setMode :: SimplifierMode -> SimplEnv -> SimplEnvSource

getMode :: SimplEnv -> SimplifierModeSource

updMode :: (SimplifierMode -> SimplifierMode) -> SimplEnv -> SimplEnvSource

data SimplEnv Source

type StaticEnv = SimplEnvSource

pprSimplEnv :: SimplEnv -> SDocSource

mkSimplEnv :: SimplifierMode -> SimplEnvSource

extendIdSubst :: SimplEnv -> Id -> SimplSR -> SimplEnvSource

extendTvSubst :: SimplEnv -> TyVar -> Type -> SimplEnvSource

extendCvSubst :: SimplEnv -> CoVar -> Coercion -> SimplEnvSource

zapSubstEnv :: SimplEnv -> SimplEnvSource

setSubstEnv :: SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnvSource

getInScope :: SimplEnv -> InScopeSetSource

setInScope :: SimplEnv -> SimplEnv -> SimplEnvSource

setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnvSource

modifyInScope :: SimplEnv -> CoreBndr -> SimplEnvSource

addNewInScopeIds :: SimplEnv -> [CoreBndr] -> SimplEnvSource

getSimplRules :: SimplM RuleBaseSource

data SimplSR Source

mkContEx :: SimplEnv -> InExpr -> SimplSRSource

substId :: SimplEnv -> InId -> SimplSRSource

lookupRecBndr :: SimplEnv -> InId -> OutIdSource

simplNonRecBndr :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)Source

simplRecBndrs :: SimplEnv -> [InBndr] -> SimplM SimplEnvSource

simplLamBndr :: SimplEnv -> Var -> SimplM (SimplEnv, Var)Source

simplBinders, simplLamBndrs :: SimplEnv -> [InBndr] -> SimplM (SimplEnv, [OutBndr])Source

simplBinder :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)Source

addBndrRules :: SimplEnv -> InBndr -> OutBndr -> (SimplEnv, OutBndr)Source

substExpr :: SDoc -> SimplEnv -> CoreExpr -> CoreExprSource

substTy :: SimplEnv -> Type -> TypeSource

substTyVar :: SimplEnv -> TyVar -> TypeSource

getTvSubst :: SimplEnv -> TvSubstSource

getCvSubst :: SimplEnv -> CvSubstSource

substCo :: SimplEnv -> Coercion -> CoercionSource

substCoVar :: SimplEnv -> CoVar -> CoercionSource

mkCoreSubst :: SDoc -> SimplEnv -> SubstSource

data Floats Source

emptyFloats :: FloatsSource

isEmptyFloats :: SimplEnv -> BoolSource

addNonRec :: SimplEnv -> OutId -> OutExpr -> SimplEnvSource

addFloats :: SimplEnv -> SimplEnv -> SimplEnvSource

extendFloats :: SimplEnv -> OutBind -> SimplEnvSource

wrapFloats :: SimplEnv -> OutExpr -> OutExprSource

floatBinds :: Floats -> [OutBind]Source

setFloats :: SimplEnv -> SimplEnv -> SimplEnvSource

zapFloats :: SimplEnv -> SimplEnvSource

addRecFloats :: SimplEnv -> SimplEnv -> SimplEnvSource

doFloatFromRhs :: TopLevelFlag -> RecFlag -> Bool -> OutExpr -> SimplEnv -> BoolSource

getFloatBinds :: SimplEnv -> [CoreBind]Source

getFloats :: SimplEnv -> FloatsSource

mapFloats :: SimplEnv -> ((Id, CoreExpr) -> (Id, CoreExpr)) -> SimplEnvSource