ghc-6.12.2: The GHC APISource codeContentsIndex
SimplEnv
Documentation
type InId = IdSource
type InBind = CoreBindSource
type InExpr = CoreExprSource
type InAlt = CoreAltSource
type InArg = CoreArgSource
type InType = TypeSource
type InBndr = CoreBndrSource
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 InCoercion = CoercionSource
type OutCoercion = CoercionSource
setMode :: SimplifierMode -> SimplEnv -> SimplEnvSource
getMode :: SimplEnv -> SimplifierModeSource
type SwitchChecker = SimplifierSwitch -> SwitchResultSource
data SwitchResult Source
Constructors
SwBool Bool
SwString FastString
SwInt Int
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
Constructors
SimplEnv
seMode :: SimplifierMode
seChkr :: SwitchChecker
seCC :: CostCentreStack
seInScope :: InScopeSet
seFloats :: Floats
seTvSubst :: TvSubstEnv
seIdSubst :: SimplIdSubst
pprSimplEnv :: SimplEnv -> SDocSource
mkSimplEnv :: SimplifierMode -> SwitchChecker -> 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
data SimplSR Source
Constructors
DoneEx OutExpr
DoneId OutId
ContEx TvSubstEnv SimplIdSubst InExpr
show/hide Instances
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 :: SimplEnv -> CoreExpr -> CoreExprSource
substWorker :: SimplEnv -> WorkerInfo -> WorkerInfoSource
substTy :: SimplEnv -> Type -> TypeSource
data Floats Source
show/hide Instances
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
Produced by Haddock version 2.6.1