Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Stg.InferTags.Types
Synopsis
- type InferStgTopBinding = GenStgTopBinding 'InferTaggedBinders
- type InferStgBinding = GenStgBinding 'InferTaggedBinders
- type InferStgExpr = GenStgExpr 'InferTaggedBinders
- type InferStgRhs = GenStgRhs 'InferTaggedBinders
- type InferStgAlt = GenStgAlt 'InferTaggedBinders
- type TagSigEnv = IdEnv TagSig
- data TagEnv p = TE {}
- noSig :: TagEnv p -> BinderP p -> (Id, TagSig)
- initEnv :: TagEnv 'CodeGen
- extendSigEnv :: TagEnv p -> [(Id, TagSig)] -> TagEnv p
- combineAltInfo :: TagInfo -> TagInfo -> TagInfo
- getBinderId :: TagEnv p -> BinderP p -> Id
- makeTagged :: TagEnv p -> TagEnv 'InferTaggedBinders
- lookupSig :: TagEnv p -> Id -> Maybe TagSig
- lookupInfo :: TagEnv p -> StgArg -> TagInfo
- isDunnoSig :: TagSig -> Bool
- isTaggedInfo :: TagInfo -> Bool
- module GHC.Stg.InferTags.TagSig
Documentation
type InferStgExpr = GenStgExpr 'InferTaggedBinders Source #
type InferStgRhs = GenStgRhs 'InferTaggedBinders Source #
type InferStgAlt = GenStgAlt 'InferTaggedBinders Source #
Instances
Outputable (TagEnv p) Source # | |
makeTagged :: TagEnv p -> TagEnv 'InferTaggedBinders Source #
Simple convert env to a env of the 'InferTaggedBinders pass with no other changes.
isDunnoSig :: TagSig -> Bool Source #
isTaggedInfo :: TagInfo -> Bool Source #
module GHC.Stg.InferTags.TagSig