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

Safe Haskell	None
Language	Haskell2010

GHC.Stg.InferTags.Types

Synopsis

data TagEnv p = TE {
- te_env :: TagSigEnv
- te_get :: BinderP p -> Id
}
type TagSigEnv = IdEnv TagSig
type InferStgAlt = GenStgAlt 'InferTaggedBinders
type InferStgRhs = GenStgRhs 'InferTaggedBinders
type InferStgExpr = GenStgExpr 'InferTaggedBinders
type InferStgBinding = GenStgBinding 'InferTaggedBinders
type InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders
combineAltInfo :: TagInfo -> TagInfo -> TagInfo
getBinderId :: TagEnv p -> BinderP p -> Id
initEnv :: TagEnv 'CodeGen
makeTagged :: TagEnv p -> TagEnv 'InferTaggedBinders
noSig :: TagEnv p -> BinderP p -> (Id, TagSig)
lookupSig :: TagEnv p -> Id -> Maybe TagSig
lookupInfo :: TagEnv p -> StgArg -> TagInfo
isDunnoSig :: TagSig -> Bool
isTaggedInfo :: TagInfo -> Bool
extendSigEnv :: TagEnv p -> [(Id, TagSig)] -> TagEnv p
module GHC.Stg.InferTags.TagSig

Documentation

data TagEnv p Source #

Constructors

TE
Fields te_env :: TagSigEnv te_get :: BinderP p -> Id

Instances

Instances details

Outputable (TagEnv p) Source #
Instance details Defined in GHC.Stg.InferTags.Types Methods ppr :: TagEnv p -> SDoc #

type TagSigEnv = IdEnv TagSig Source #

type InferStgAlt = GenStgAlt 'InferTaggedBinders Source #

type InferStgRhs = GenStgRhs 'InferTaggedBinders Source #

type InferStgExpr = GenStgExpr 'InferTaggedBinders Source #

type InferStgBinding = GenStgBinding 'InferTaggedBinders Source #

type InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders Source #

combineAltInfo :: TagInfo -> TagInfo -> TagInfo Source #

getBinderId :: TagEnv p -> BinderP p -> Id Source #

initEnv :: TagEnv 'CodeGen Source #

makeTagged :: TagEnv p -> TagEnv 'InferTaggedBinders Source #

Simple convert env to a env of the 'InferTaggedBinders pass with no other changes.

noSig :: TagEnv p -> BinderP p -> (Id, TagSig) Source #

lookupSig :: TagEnv p -> Id -> Maybe TagSig Source #

lookupInfo :: TagEnv p -> StgArg -> TagInfo Source #

isDunnoSig :: TagSig -> Bool Source #

isTaggedInfo :: TagInfo -> Bool Source #

extendSigEnv :: TagEnv p -> [(Id, TagSig)] -> TagEnv p Source #

module GHC.Stg.InferTags.TagSig