Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data GhcTag = GhcTag {
- gtSrcSpan :: !SrcSpan
- gtTag :: !ByteString
- gtKind :: !GhcTagKind
- gtIsExported :: !Bool
- gtFFI :: !(Maybe String)
- type GhcTags = [GhcTag]
- data GhcTagKind
- = GtkModule
- | GtkTerm
- | GtkFunction
- | GtkTypeConstructor (Maybe (HsKind GhcPs))
- | GtkDataConstructor (ConDecl GhcPs)
- | GtkGADTConstructor (ConDecl GhcPs)
- | GtkRecordField
- | GtkTypeSynonym (HsType GhcPs)
- | GtkTypeSignature (HsWildCardBndrs GhcPs (LHsSigType GhcPs))
- | GtkTypeKindSignature (LHsSigType GhcPs)
- | GtkPatternSynonym
- | GtkTypeClass
- | GtkTypeClassMember (HsType GhcPs)
- | GtkTypeClassInstance (HsType GhcPs)
- | GtkTypeClassInstanceMember (HsType GhcPs)
- | GtkTypeFamily (Maybe ([GhcPsHsTyVarBndr], Either (HsKind GhcPs) GhcPsHsTyVarBndr))
- | GtkTypeFamilyInstance (Maybe (TyFamInstDecl GhcPs))
- | GtkDataTypeFamily (Maybe ([GhcPsHsTyVarBndr], Either (HsKind GhcPs) GhcPsHsTyVarBndr))
- | GtkDataTypeFamilyInstance (Maybe (HsKind GhcPs))
- | GtkForeignImport
- | GtkForeignExport
- getGhcTags :: Located GhcPsModule -> GhcTags
- hsDeclsToGhcTags :: Maybe [IE GhcPs] -> [LHsDecl GhcPs] -> GhcTags
Documentation
We can read names from using fields of type IdP
(a type
family) which for 'Parsed
resolved to RdrName
GhcTag | |
|
data GhcTagKind Source #
Kind of the term.
GtkModule | |
GtkTerm | |
GtkFunction | |
GtkTypeConstructor (Maybe (HsKind GhcPs)) | |
GtkDataConstructor (ConDecl GhcPs) | H98 data constructor |
GtkGADTConstructor (ConDecl GhcPs) | GADT constructor with its type |
GtkRecordField | |
GtkTypeSynonym (HsType GhcPs) | |
GtkTypeSignature (HsWildCardBndrs GhcPs (LHsSigType GhcPs)) | |
GtkTypeKindSignature (LHsSigType GhcPs) | |
GtkPatternSynonym | |
GtkTypeClass | |
GtkTypeClassMember (HsType GhcPs) | |
GtkTypeClassInstance (HsType GhcPs) | |
GtkTypeClassInstanceMember (HsType GhcPs) | |
GtkTypeFamily (Maybe ([GhcPsHsTyVarBndr], Either (HsKind GhcPs) GhcPsHsTyVarBndr)) | |
GtkTypeFamilyInstance (Maybe (TyFamInstDecl GhcPs)) | |
GtkDataTypeFamily (Maybe ([GhcPsHsTyVarBndr], Either (HsKind GhcPs) GhcPsHsTyVarBndr)) | |
GtkDataTypeFamilyInstance (Maybe (HsKind GhcPs)) | |
GtkForeignImport | |
GtkForeignExport |
getGhcTags :: Located GhcPsModule -> GhcTags Source #
Generate tags for a module - simple walk over the syntax tree.
Supported identifiers:
- module name
- top level terms
- local bindings
- data types
- record fields
- type synonyms
- type classes
- type class members
- type class instances
- type class instance members
- type families
- type family instances
- data type families
- data type families instances
- data type family instances constructors