There is no known Unfolding
Moduleghc-lib-parser-9.14.1.20251220GHC2021
GHC.Core.Unfold.Make
Unfolding creation
Synopsis
- value noUnfolding
- value mkUnfolding
- value mkCoreUnfolding
- value mkFinalUnfolding
- value mkFinalUnfolding'
- value mkSimpleUnfolding
- value mkWorkerUnfolding
- value mkInlineUnfoldingWithArity
- value mkInlineUnfoldingNoArity
- value mkInlinableUnfolding
- value mkWrapperUnfolding
- value mkCompulsoryUnfolding
- value mkCompulsoryUnfolding'
- value mkDFunUnfolding
- value mkDataConUnfolding
- value specUnfolding
- value certainlyWillInline
- Packageghc-lib-parser-9.14.1.20251220
- Exports17
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceMake.hs
Make an INLINE unfolding that will be used once the RHS has been saturated to the given arity.
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).
Used for things that absolutely must be unfolded
Same as mkCompulsoryUnfolding but simplifies the unfolding first
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.