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

type SwitchChecker = SimplifierSwitch -> SwitchResultSource

data SwitchResult Source

getSwitchChecker :: SimplEnv -> SwitchCheckerSource

getSimplIntSwitch :: SwitchChecker -> (Int -> SimplifierSwitch) -> IntSource

isAmongSimpl :: [SimplifierSwitch] -> SimplifierSwitch -> SwitchResultSource

intSwitchSet :: (switch -> SwitchResult) -> (Int -> switch) -> Maybe IntSource

switchIsOn :: (switch -> SwitchResult) -> switch -> BoolSource

setEnclosingCC :: SimplEnv -> CostCentreStack -> SimplEnvSource

getEnclosingCC :: SimplEnv -> CostCentreStackSource

data SimplEnv Source

type StaticEnv = SimplEnvSource

pprSimplEnv :: SimplEnv -> SDocSource

mkSimplEnv :: SwitchChecker -> SimplifierMode -> SimplEnvSource

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

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

zapSubstEnv :: SimplEnv -> SimplEnvSource

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

getInScope :: SimplEnv -> InScopeSetSource

setInScope :: SimplEnv -> SimplEnv -> SimplEnvSource

setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnvSource

modifyInScope :: SimplEnv -> CoreBndr -> SimplEnvSource

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

getSimplRules :: SimplM RuleBaseSource

inGentleMode :: SimplEnv -> BoolSource

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

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

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

simplBinders :: 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

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

getFloats :: SimplEnv -> [CoreBind]Source