ghc-9.2.2: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Core.Unfold

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 GHC.Core.Unfold

Instances

Instances details
Outputable Unfolding Source # 
Instance details

Defined in GHC.Core.Ppr

Methods

ppr :: Unfolding -> SDoc Source #

data UnfoldingGuidance Source #

UnfoldingGuidance says when unfolding should take place

Instances

Instances details
Outputable UnfoldingGuidance Source # 
Instance details

Defined in GHC.Core.Ppr

Eq UnfoldingGuidance Source # 
Instance details

Defined in GHC.Core

data UnfoldingOpts Source #

Unfolding options

Constructors

UnfoldingOpts 

Fields

data ArgSummary Source #

Constructors

TrivArg 
NonTrivArg 
ValueArg 

Instances

Instances details
Outputable ArgSummary Source # 
Instance details

Defined in GHC.Core.Unfold

Methods

ppr :: ArgSummary -> SDoc Source #

certainlyWillInline :: UnfoldingOpts -> IdInfo -> Maybe Unfolding Source #

Sees if the unfolding is pretty certain to inline. If so, return a *stable* unfolding for it, that will always inline.

data CallCtxt Source #

Instances

Instances details
Outputable CallCtxt Source # 
Instance details

Defined in GHC.Core.Unfold

Methods

ppr :: CallCtxt -> SDoc Source #