Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type InCoercion = Coercion Source #
type OutCoercion = Coercion Source #
getMode :: SimplEnv -> SimplifierMode Source #
updMode :: (SimplifierMode -> SimplifierMode) -> SimplEnv -> SimplEnv Source #
SimplEnv | |
|
pprSimplEnv :: SimplEnv -> SDoc Source #
mkSimplEnv :: SimplifierMode -> SimplEnv Source #
zapSubstEnv :: SimplEnv -> SimplEnv Source #
setSubstEnv :: SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnv Source #
getInScope :: SimplEnv -> InScopeSet Source #
setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnv Source #
DoneEx OutExpr | |
DoneId OutId | |
ContEx TvSubstEnv CvSubstEnv SimplIdSubst InExpr |
refineFromInScope :: InScopeSet -> Var -> Var Source #
getTCvSubst :: SimplEnv -> TCvSubst Source #
emptyFloats :: Floats Source #
isEmptyFloats :: SimplEnv -> Bool Source #
doFloatFromRhs :: TopLevelFlag -> RecFlag -> Bool -> OutExpr -> SimplEnv -> Bool Source #
getFloatBinds :: SimplEnv -> [CoreBind] Source #