GHC.Stg.EnforceEpt.TagSig

ghc-lib-parser-9.14.1.20251220: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
Language | GHC2021

GHC.Stg.EnforceEpt.TagSig

Synopsis

- type StgCgInfos = NameEnv TagSig
- newtype TagSig = TagSig TagInfo
- data TagInfo
  - = TagDunno
  - | TagTuple [TagInfo]
  - | TagProper
  - | TagTagged
- isTaggedSig :: TagSig -> Bool
- seqTagSig :: TagSig -> ()
- seqTagInfo :: TagInfo -> ()

# 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

Instances details

Binary TagSig # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods put_ :: WriteBinHandle -> TagSig -> IO () # put :: WriteBinHandle -> TagSig -> IO (Bin TagSig) # get :: ReadBinHandle -> IO TagSig #
Outputable TagSig # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods ppr :: TagSig -> SDoc #
Eq TagSig # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods (==) :: TagSig -> TagSig -> Bool # (/=) :: TagSig -> TagSig -> Bool #
OutputableBndr (Id, TagSig) # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods pprBndr :: BindingSite -> (Id, TagSig) -> SDoc # pprPrefixOcc :: (Id, TagSig) -> SDoc # pprInfixOcc :: (Id, TagSig) -> SDoc # bndrIsJoin_maybe :: (Id, TagSig) -> JoinPointHood #

data TagInfo #

Constructors

TagDunno |
TagTuple [TagInfo] |
TagProper |
TagTagged |

#### Instances

Instances details

Binary TagInfo # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods put_ :: WriteBinHandle -> TagInfo -> IO () # put :: WriteBinHandle -> TagInfo -> IO (Bin TagInfo) # get :: ReadBinHandle -> IO TagInfo #
Outputable TagInfo # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods ppr :: TagInfo -> SDoc #
Eq TagInfo # |
Instance details Defined in GHC.Stg.EnforceEpt.TagSig Methods (==) :: TagInfo -> TagInfo -> Bool # (/=) :: TagInfo -> TagInfo -> Bool #

isTaggedSig :: TagSig -> Bool #

seqTagSig :: TagSig -> () #

seqTagInfo :: TagInfo -> () #