ghc-lib-0.20190402: The GHC API, decoupled from GHC versions

Safe HaskellNone
LanguageHaskell2010

StgCmmClosure

Contents

Synopsis

Documentation

newtype NonVoid a Source #

Constructors

NonVoid a 
Instances
Eq a => Eq (NonVoid a) Source # 
Instance details

Defined in StgCmmClosure

Methods

(==) :: NonVoid a -> NonVoid a -> Bool #

(/=) :: NonVoid a -> NonVoid a -> Bool #

Show a => Show (NonVoid a) Source # 
Instance details

Defined in StgCmmClosure

Methods

showsPrec :: Int -> NonVoid a -> ShowS #

show :: NonVoid a -> String #

showList :: [NonVoid a] -> ShowS #

Outputable a => Outputable (NonVoid a) Source # 
Instance details

Defined in StgCmmClosure

Methods

ppr :: NonVoid a -> SDoc #

pprPrec :: Rational -> NonVoid a -> SDoc #

assertNonVoidIds :: [Id] -> [NonVoid Id] Source #

Used in places where some invariant ensures that all these Ids are non-void; e.g. constructor field binders in case expressions. See Note [Post-unarisation invariants] in UnariseStg.

assertNonVoidStgArgs :: [StgArg] -> [NonVoid StgArg] Source #

Used in places where some invariant ensures that all these arguments are non-void; e.g. constructor arguments. See Note [Post-unarisation invariants] in UnariseStg.

LambdaFormInfo

Used by other modules

data CgLoc Source #

Instances
Outputable CgLoc Source # 
Instance details

Defined in StgCmmClosure

Methods

ppr :: CgLoc -> SDoc #

pprPrec :: Rational -> CgLoc -> SDoc #

ClosureInfo

Inspection

Labels

Predicates

InfoTables