- data Unfolding
- data UnfoldingGuidance
- noUnfolding :: Unfolding
- mkImplicitUnfolding :: CoreExpr -> Unfolding
- mkUnfolding :: UnfoldingSource -> Bool -> Bool -> CoreExpr -> Unfolding
- mkCoreUnfolding :: UnfoldingSource -> Bool -> CoreExpr -> Arity -> UnfoldingGuidance -> Unfolding
- mkTopUnfolding :: Bool -> CoreExpr -> Unfolding
- mkSimpleUnfolding :: CoreExpr -> Unfolding
- mkInlineUnfolding :: Maybe Arity -> CoreExpr -> Unfolding
- mkInlinableUnfolding :: CoreExpr -> Unfolding
- mkWwInlineRule :: Id -> CoreExpr -> Arity -> Unfolding
- mkCompulsoryUnfolding :: CoreExpr -> Unfolding
- mkDFunUnfolding :: Type -> [DFunArg CoreExpr] -> Unfolding
- interestingArg :: CoreExpr -> ArgSummary
- data ArgSummary
- = TrivArg
- | NonTrivArg
- | ValueArg
- couldBeSmallEnoughToInline :: Int -> CoreExpr -> Bool
- certainlyWillInline :: Unfolding -> Bool
- smallEnoughToInline :: Unfolding -> Bool
- callSiteInline :: DynFlags -> Id -> Bool -> Bool -> [ArgSummary] -> CallCtxt -> Maybe CoreExpr
- data CallCtxt
- = BoringCtxt
- | ArgCtxt Bool
- | ValAppCtxt
- | CaseCtxt
- exprIsConApp_maybe :: IdUnfoldingFun -> CoreExpr -> Maybe (DataCon, [Type], [CoreExpr])
Documentation
Records the unfolding of an identifier, which is approximately the form the identifier would have if we substituted its definition in for the identifier. This type should be treated as abstract everywhere except in CoreUnfold
data UnfoldingGuidance Source
UnfoldingGuidance
says when unfolding should take place
noUnfolding :: UnfoldingSource
There is no known Unfolding
mkUnfolding :: UnfoldingSource -> Bool -> Bool -> CoreExpr -> UnfoldingSource
mkCoreUnfolding :: UnfoldingSource -> Bool -> CoreExpr -> Arity -> UnfoldingGuidance -> UnfoldingSource
mkTopUnfolding :: Bool -> CoreExpr -> UnfoldingSource
couldBeSmallEnoughToInline :: Int -> CoreExpr -> BoolSource
callSiteInline :: DynFlags -> Id -> Bool -> Bool -> [ArgSummary] -> CallCtxt -> Maybe CoreExprSource
exprIsConApp_maybe :: IdUnfoldingFun -> CoreExpr -> Maybe (DataCon, [Type], [CoreExpr])Source
Returns Just (dc, [t1..tk], [x1..xn])
if the argument expression is
a *saturated* constructor application of the form dc t1..tk x1 .. xn
,
where t1..tk are the *universally-qantified* type args of dc