CoreUnfold

data Unfolding

data UnfoldingGuidance

noUnfolding

mkImplicitUnfolding

mkUnfolding

mkCoreUnfolding

mkTopUnfolding

mkSimpleUnfolding

mkWorkerUnfolding

mkInlineUnfolding

mkInlinableUnfolding

mkWwInlineRule

mkCompulsoryUnfolding

mkDFunUnfolding

specUnfolding

data ArgSummary

couldBeSmallEnoughToInline

inlineBoringOk

certainlyWillInline

smallEnoughToInline

callSiteInline

data CallCtxt

exprIsConApp_maybe

exprIsLiteral_maybe