ghc-9.2.5: The GHC API

GHC.Core.Unfold.Make

Description

Unfolding creation

Synopsis

# Documentation

There is no known Unfolding

Make an 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).

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

Used for things that absolutely must be unfolded

Same as mkCompulsoryUnfolding but no simple optimiser pass is performed on the unfolding.