| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Stg.EnforceEpt.Types
Synopsis
- combineAltInfo :: TagInfo -> TagInfo -> TagInfo
- extendSigEnv :: forall (p :: StgPass). TagEnv p -> [(Id, TagSig)] -> TagEnv p
- getBinderId :: forall (p :: StgPass). TagEnv p -> BinderP p -> Id
- initEnv :: Bool -> TagEnv 'CodeGen
- isDunnoSig :: TagSig -> Bool
- isTaggedInfo :: TagInfo -> Bool
- lookupInfo :: forall (p :: StgPass). TagEnv p -> StgArg -> TagInfo
- lookupSig :: forall (p :: StgPass). TagEnv p -> Id -> Maybe TagSig
- makeTagged :: forall (p :: StgPass). TagEnv p -> TagEnv 'InferTaggedBinders
- noSig :: forall (p :: StgPass). TagEnv p -> BinderP p -> (Id, TagSig)
- type InferStgAlt = GenStgAlt 'InferTaggedBinders
- type InferStgBinding = GenStgBinding 'InferTaggedBinders
- type InferStgExpr = GenStgExpr 'InferTaggedBinders
- type InferStgRhs = GenStgRhs 'InferTaggedBinders
- type InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders
- data TagEnv (p :: StgPass) = TE {}
- type TagSigEnv = IdEnv TagSig
- module GHC.Stg.EnforceEpt.TagSig
Documentation
combineAltInfo :: TagInfo -> TagInfo -> TagInfo #
isDunnoSig :: TagSig -> Bool #
isTaggedInfo :: TagInfo -> Bool #
lookupInfo :: forall (p :: StgPass). TagEnv p -> StgArg -> TagInfo #
Look up a sig in the env or derive it from information in the arg itself.
makeTagged :: forall (p :: StgPass). TagEnv p -> TagEnv 'InferTaggedBinders #
Simple convert env to a env of the 'InferTaggedBinders pass with no other changes.
type InferStgAlt = GenStgAlt 'InferTaggedBinders #
type InferStgExpr = GenStgExpr 'InferTaggedBinders #
type InferStgRhs = GenStgRhs 'InferTaggedBinders #
Instances
| Outputable (TagEnv p) # | |
Defined in GHC.Stg.EnforceEpt.Types | |
module GHC.Stg.EnforceEpt.TagSig