Moduleghc-9.14.1GHC2021

GHC.Stg.EnforceEpt.Types

valuecombineAltInfo :: TagInfo -> TagInfo -> TagInfo

valueextendSigEnv :: TagEnv p -> [(Id, TagSig)] -> TagEnv p

valuegetBinderId :: TagEnv p -> BinderP p -> Id

valueinitEnv :: Bool -> TagEnv 'CodeGen

valueisDunnoSig :: TagSig -> Bool

valueisTaggedInfo :: TagInfo -> Bool

valuelookupInfo :: TagEnv p -> StgArg -> TagInfo

Look up a sig in the env or derive it from information in the arg itself.

valuelookupSig :: TagEnv p -> Id -> Maybe TagSig

Look up a sig in the given env

valuemakeTagged :: TagEnv p -> TagEnv 'InferTaggedBinders

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

valuenoSig :: TagEnv p -> BinderP p -> (Id, TagSig)

typetype InferStgAlt = GenStgAlt 'InferTaggedBinders

typetype InferStgBinding = GenStgBinding 'InferTaggedBinders

typetype InferStgExpr = GenStgExpr 'InferTaggedBinders

typetype InferStgRhs = GenStgRhs 'InferTaggedBinders

typetype InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders

datadata TagEnv (p :: StgPass)

Instances1Outputable

typetype TagSigEnv = IdEnv TagSig

module GHC.Stg.EnforceEpt.TagSig