GHC.Stg.InferTags.TagSig

Documentation

type StgCgInfos = NameEnv TagSig

Information to be exposed in interface files which is produced by the stg2stg passes.

newtype TagSig

Constructors

TagSig TagInfo

Instances

Binary TagSig

Defined in GHC.Stg.InferTags.TagSig

Methods

put_ :: BinHandle -> TagSig -> IO ()

put :: BinHandle -> TagSig -> IO (Bin TagSig)

get :: BinHandle -> IO TagSig

Outputable TagSig

Defined in GHC.Stg.InferTags.TagSig

Methods

ppr :: TagSig -> SDoc

Eq TagSig

Defined in GHC.Stg.InferTags.TagSig

Methods

(==) :: TagSig -> TagSig -> Bool

(/=) :: TagSig -> TagSig -> Bool

OutputableBndr (Id, TagSig)

Defined in GHC.Stg.InferTags.TagSig

Methods

pprBndr :: BindingSite -> (Id, TagSig) -> SDoc

pprPrefixOcc :: (Id, TagSig) -> SDoc

pprInfixOcc :: (Id, TagSig) -> SDoc

bndrIsJoin_maybe :: (Id, TagSig) -> Maybe Int

data TagInfo

Constructors

TagDunno

TagTuple [TagInfo]

TagProper

TagTagged

Instances

Binary TagInfo

Defined in GHC.Stg.InferTags.TagSig

Methods

put_ :: BinHandle -> TagInfo -> IO ()

put :: BinHandle -> TagInfo -> IO (Bin TagInfo)

get :: BinHandle -> IO TagInfo

Outputable TagInfo

Defined in GHC.Stg.InferTags.TagSig

Methods

ppr :: TagInfo -> SDoc

Eq TagInfo

Defined in GHC.Stg.InferTags.TagSig

Methods

(==) :: TagInfo -> TagInfo -> Bool

(/=) :: TagInfo -> TagInfo -> Bool

isTaggedSig :: TagSig -> Bool

seqTagSig :: TagSig -> ()

seqTagInfo :: TagInfo -> ()