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

GHC.Core.Unfold

Synopsis

Documentation

data Unfolding #

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 # 
Instance details

Defined in GHC.Core.Ppr

Methods

ppr :: Unfolding -> SDoc #

data UnfoldingGuidance #

UnfoldingGuidance says when unfolding should take place

Instances

Instances details
Outputable UnfoldingGuidance # 
Instance details

Defined in GHC.Core.Ppr

Eq UnfoldingGuidance # 
Instance details

Defined in GHC.Core

data UnfoldingOpts #

Unfolding options

Constructors

UnfoldingOpts 

Fields

data ArgSummary #

Constructors

TrivArg 
NonTrivArg 
ValueArg 

Instances

Instances details
Outputable ArgSummary # 
Instance details

Defined in GHC.Core.Unfold

Methods

ppr :: ArgSummary -> SDoc #

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

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

data CallCtxt #

Instances

Instances details
Outputable CallCtxt # 
Instance details

Defined in GHC.Core.Unfold

Methods

ppr :: CallCtxt -> SDoc #