ghc-lib-8.10.7.20220219: The GHC API, decoupled from GHC versions

Safe Haskell	None
Language	Haskell2010

SimplEnv

Contents

The simplifier mode
Environments
Substitution results
Simplifying Id binders
Floats
LetFloats
JoinFloats

Synopsis

setMode :: SimplMode -> SimplEnv -> SimplEnv
getMode :: SimplEnv -> SimplMode
updMode :: (SimplMode -> SimplMode) -> SimplEnv -> SimplEnv
seDynFlags :: SimplEnv -> DynFlags
data SimplEnv = SimplEnv {
- seMode :: SimplMode
- seTvSubst :: TvSubstEnv
- seCvSubst :: CvSubstEnv
- seIdSubst :: SimplIdSubst
- seInScope :: InScopeSet
}
pprSimplEnv :: SimplEnv -> SDoc
mkSimplEnv :: SimplMode -> SimplEnv
extendIdSubst :: SimplEnv -> Id -> SimplSR -> SimplEnv
extendTvSubst :: SimplEnv -> TyVar -> Type -> SimplEnv
extendCvSubst :: SimplEnv -> CoVar -> Coercion -> SimplEnv
zapSubstEnv :: SimplEnv -> SimplEnv
setSubstEnv :: SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnv
getInScope :: SimplEnv -> InScopeSet
setInScopeFromE :: SimplEnv -> SimplEnv -> SimplEnv
setInScopeFromF :: SimplEnv -> SimplFloats -> SimplEnv
setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnv
modifyInScope :: SimplEnv -> CoreBndr -> SimplEnv
addNewInScopeIds :: SimplEnv -> [CoreBndr] -> SimplEnv
getSimplRules :: SimplM RuleEnv
data SimplSR
- = DoneEx OutExpr (Maybe JoinArity)
- | DoneId OutId
- | ContEx TvSubstEnv CvSubstEnv SimplIdSubst InExpr
mkContEx :: SimplEnv -> InExpr -> SimplSR
substId :: SimplEnv -> InId -> SimplSR
lookupRecBndr :: SimplEnv -> InId -> OutId
refineFromInScope :: InScopeSet -> Var -> Var
simplNonRecBndr :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)
simplNonRecJoinBndr :: SimplEnv -> OutType -> InBndr -> SimplM (SimplEnv, OutBndr)
simplRecBndrs :: SimplEnv -> [InBndr] -> SimplM SimplEnv
simplRecJoinBndrs :: SimplEnv -> OutType -> [InBndr] -> SimplM SimplEnv
simplBinder :: SimplEnv -> InBndr -> SimplM (SimplEnv, OutBndr)
simplBinders :: SimplEnv -> [InBndr] -> SimplM (SimplEnv, [OutBndr])
substTy :: SimplEnv -> Type -> Type
substTyVar :: SimplEnv -> TyVar -> Type
getTCvSubst :: SimplEnv -> TCvSubst
substCo :: SimplEnv -> Coercion -> Coercion
substCoVar :: SimplEnv -> CoVar -> Coercion
data SimplFloats = SimplFloats {
- sfLetFloats :: LetFloats
- sfJoinFloats :: JoinFloats
- sfInScope :: InScopeSet
}
emptyFloats :: SimplEnv -> SimplFloats
mkRecFloats :: SimplFloats -> SimplFloats
mkFloatBind :: SimplEnv -> OutBind -> (SimplFloats, SimplEnv)
addLetFloats :: SimplFloats -> LetFloats -> SimplFloats
addJoinFloats :: SimplFloats -> JoinFloats -> SimplFloats
addFloats :: SimplFloats -> SimplFloats -> SimplFloats
extendFloats :: SimplFloats -> OutBind -> SimplFloats
wrapFloats :: SimplFloats -> OutExpr -> OutExpr
doFloatFromRhs :: TopLevelFlag -> RecFlag -> Bool -> SimplFloats -> OutExpr -> Bool
getTopFloatBinds :: SimplFloats -> [CoreBind]
data LetFloats
letFloatBinds :: LetFloats -> [CoreBind]
emptyLetFloats :: LetFloats
unitLetFloat :: OutBind -> LetFloats
addLetFlts :: LetFloats -> LetFloats -> LetFloats
mapLetFloats :: LetFloats -> ((Id, CoreExpr) -> (Id, CoreExpr)) -> LetFloats
type JoinFloat = OutBind
type JoinFloats = OrdList JoinFloat
emptyJoinFloats :: JoinFloats
wrapJoinFloats :: JoinFloats -> OutExpr -> OutExpr
wrapJoinFloatsX :: SimplFloats -> OutExpr -> (SimplFloats, OutExpr)
unitJoinFloat :: OutBind -> JoinFloats
addJoinFlts :: JoinFloats -> JoinFloats -> JoinFloats

The simplifier mode

setMode :: SimplMode -> SimplEnv -> SimplEnv Source #

getMode :: SimplEnv -> SimplMode Source #

updMode :: (SimplMode -> SimplMode) -> SimplEnv -> SimplEnv Source #

seDynFlags :: SimplEnv -> DynFlags Source #

Environments

data SimplEnv Source #

Constructors

SimplEnv
Fields seMode :: SimplMode seTvSubst :: TvSubstEnv seCvSubst :: CvSubstEnv seIdSubst :: SimplIdSubst seInScope :: InScopeSet

pprSimplEnv :: SimplEnv -> SDoc Source #

mkSimplEnv :: SimplMode -> SimplEnv Source #

extendIdSubst :: SimplEnv -> Id -> SimplSR -> SimplEnv Source #

extendTvSubst :: SimplEnv -> TyVar -> Type -> SimplEnv Source #

extendCvSubst :: SimplEnv -> CoVar -> Coercion -> SimplEnv Source #

zapSubstEnv :: SimplEnv -> SimplEnv Source #

setSubstEnv :: SimplEnv -> TvSubstEnv -> CvSubstEnv -> SimplIdSubst -> SimplEnv Source #

getInScope :: SimplEnv -> InScopeSet Source #

setInScopeFromE :: SimplEnv -> SimplEnv -> SimplEnv Source #

setInScopeFromF :: SimplEnv -> SimplFloats -> SimplEnv Source #

setInScopeSet :: SimplEnv -> InScopeSet -> SimplEnv Source #

modifyInScope :: SimplEnv -> CoreBndr -> SimplEnv Source #

addNewInScopeIds :: SimplEnv -> [CoreBndr] -> SimplEnv Source #

getSimplRules :: SimplM RuleEnv Source #

Substitution results

data SimplSR Source #

A substitution result.

Constructors

DoneEx OutExpr (Maybe JoinArity)
DoneId OutId
ContEx TvSubstEnv CvSubstEnv SimplIdSubst InExpr

Instances

Instances details

Outputable SimplSR Source #
Instance details Defined in SimplEnv Methods ppr :: SimplSR -> SDoc # pprPrec :: Rational -> SimplSR -> SDoc #

mkContEx :: SimplEnv -> InExpr -> SimplSR Source #

substId :: SimplEnv -> InId -> SimplSR Source #

lookupRecBndr :: SimplEnv -> InId -> OutId Source #

refineFromInScope :: InScopeSet -> Var -> Var Source #

Simplifying `Id` binders

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

simplNonRecJoinBndr :: SimplEnv -> OutType -> InBndr -> SimplM (SimplEnv, OutBndr) Source #

simplRecBndrs :: SimplEnv -> [InBndr] -> SimplM SimplEnv Source #

simplRecJoinBndrs :: SimplEnv -> OutType -> [InBndr] -> SimplM SimplEnv Source #

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

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

substTy :: SimplEnv -> Type -> Type Source #

substTyVar :: SimplEnv -> TyVar -> Type Source #

getTCvSubst :: SimplEnv -> TCvSubst Source #

substCo :: SimplEnv -> Coercion -> Coercion Source #

substCoVar :: SimplEnv -> CoVar -> Coercion Source #

Floats

data SimplFloats Source #

Constructors

SimplFloats
Fields sfLetFloats :: LetFloats sfJoinFloats :: JoinFloats sfInScope :: InScopeSet

Instances

Instances details

Outputable SimplFloats Source #
Instance details Defined in SimplEnv Methods ppr :: SimplFloats -> SDoc # pprPrec :: Rational -> SimplFloats -> SDoc #

emptyFloats :: SimplEnv -> SimplFloats Source #

mkRecFloats :: SimplFloats -> SimplFloats Source #

mkFloatBind :: SimplEnv -> OutBind -> (SimplFloats, SimplEnv) Source #

addLetFloats :: SimplFloats -> LetFloats -> SimplFloats Source #

addJoinFloats :: SimplFloats -> JoinFloats -> SimplFloats Source #

addFloats :: SimplFloats -> SimplFloats -> SimplFloats Source #

extendFloats :: SimplFloats -> OutBind -> SimplFloats Source #

wrapFloats :: SimplFloats -> OutExpr -> OutExpr Source #

doFloatFromRhs :: TopLevelFlag -> RecFlag -> Bool -> SimplFloats -> OutExpr -> Bool Source #

getTopFloatBinds :: SimplFloats -> [CoreBind] Source #

LetFloats

data LetFloats Source #

Instances

Instances details

Outputable LetFloats Source #
Instance details Defined in SimplEnv Methods ppr :: LetFloats -> SDoc # pprPrec :: Rational -> LetFloats -> SDoc #

letFloatBinds :: LetFloats -> [CoreBind] Source #

emptyLetFloats :: LetFloats Source #

unitLetFloat :: OutBind -> LetFloats Source #

addLetFlts :: LetFloats -> LetFloats -> LetFloats Source #

mapLetFloats :: LetFloats -> ((Id, CoreExpr) -> (Id, CoreExpr)) -> LetFloats Source #

JoinFloats

type JoinFloat = OutBind Source #

type JoinFloats = OrdList JoinFloat Source #

emptyJoinFloats :: JoinFloats Source #

wrapJoinFloats :: JoinFloats -> OutExpr -> OutExpr Source #

wrapJoinFloatsX :: SimplFloats -> OutExpr -> (SimplFloats, OutExpr) Source #

unitJoinFloat :: OutBind -> JoinFloats Source #

addJoinFlts :: JoinFloats -> JoinFloats -> JoinFloats Source #