Moduleghc-10.0.0.20260917GHC2024

GHC.Core.Unfold.Make

Unfolding creation

17 values

Packageghc-10.0.0.20260917
Exports17
LanguageGHC2024
LicenceBSD-3-Clause
SourceMake.hs

valuenoUnfolding :: Unfolding

There is no known Unfolding

valuemkUnfolding

valuemkCoreUnfolding

valuemkFinalUnfolding

valuemkFinalUnfolding'

valuemkSimpleUnfolding :: UnfoldingOpts -> CoreExpr -> Unfolding

valuemkWorkerUnfolding

valuemkInlineUnfoldingWithArity

Make an INLINE unfolding that will be used once the RHS has been saturated to the given arity.

valuemkInlineUnfoldingNoArity

Make an INLINE unfolding that may be used unsaturated (ug_unsat_ok = unSaturatedOk) and that is reported as having its manifest arity (the number of outer lambdas applications will resolve before doing any work).

valuemkInlinableUnfolding

valuemkWrapperUnfolding :: SimpleOpts -> CoreExpr -> Arity -> Unfolding

valuemkCompulsoryUnfolding :: CoreExpr -> Unfolding

Used for things that absolutely must be unfolded

valuemkCompulsoryUnfolding' :: SimpleOpts -> CoreExpr -> Unfolding

Same as mkCompulsoryUnfolding but simplifies the unfolding first

valuemkDFunUnfolding :: [Var] -> DataCon -> [CoreExpr] -> Unfolding

valuemkDataConUnfolding :: CoreExpr -> Unfolding

valuespecUnfolding

:: SimpleOpts
-> [Var]
-> CoreExpr -> CoreExpr
-> [CoreArg]
-> Unfolding
-> Unfolding

valuecertainlyWillInline

Sees if the unfolding is pretty certain to inline. If so, return a *stable* unfolding for it, that will always inline. The CoreExpr is the WW'd and simplified RHS. In contrast, the unfolding template might not have been WW'd yet.