ghc-lib-parser-8.8.4.20210620: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

CoreUnfold

Synopsis

Documentation

data Unfolding Source #

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

Instances

Instances details
Outputable Unfolding Source # 
Instance details

Defined in PprCore

data UnfoldingGuidance Source #

UnfoldingGuidance says when unfolding should take place

Instances

Instances details
Eq UnfoldingGuidance Source # 
Instance details

Defined in CoreSyn

Outputable UnfoldingGuidance Source # 
Instance details

Defined in PprCore

noUnfolding :: Unfolding Source #

There is no known Unfolding

mkInlineUnfolding :: CoreExpr -> Unfolding Source #

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

mkInlineUnfoldingWithArity :: Arity -> CoreExpr -> Unfolding Source #

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

data ArgSummary Source #

Constructors

TrivArg 
NonTrivArg 
ValueArg 

Instances

Instances details
Outputable ArgSummary Source # 
Instance details

Defined in CoreUnfold

data CallCtxt Source #

Instances

Instances details
Outputable CallCtxt Source # 
Instance details

Defined in CoreUnfold

exprIsConApp_maybe :: InScopeEnv -> 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-quantified* type args of dc