Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data GhcTag = GhcTag {
- gtSrcSpan :: !SrcSpan
- gtTag :: !ByteString
- gtKind :: !GhcTagKind
- gtIsExported :: !Bool
- gtFFI :: !(Maybe String)
- type GhcTags = [GhcTag]
- data GhcTagKind
- = GtkTerm
- | GtkFunction
- | GtkTypeConstructor (Maybe (HsKind GhcPs))
- | GtkDataConstructor (Located RdrName) [HsType GhcPs]
- | GtkGADTConstructor (HsType GhcPs)
- | GtkRecordField
- | GtkTypeSynonym (HsType GhcPs)
- | GtkTypeSignature (HsWildCardBndrs GhcPs (LHsSigType GhcPs))
- | GtkPatternSynonym
- | GtkTypeClass
- | GtkTypeClassMember
- | GtkTypeClassInstance (HsType GhcPs)
- | GtkTypeFamily (Maybe (HsKind GhcPs))
- | GtkTypeFamilyInstance
- | GtkDataTypeFamily (Maybe (HsKind GhcPs))
- | GtkDataTypeFamilyInstance
- | GtkForeignImport
- | GtkForeignExport
- getGhcTags :: Located (HsModule 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.
GtkTerm | |
GtkFunction | |
GtkTypeConstructor (Maybe (HsKind GhcPs)) | |
GtkDataConstructor | H98 data construtor |
GtkGADTConstructor (HsType GhcPs) | GADT constructor with its type |
GtkRecordField | |
GtkTypeSynonym (HsType GhcPs) | |
GtkTypeSignature (HsWildCardBndrs GhcPs (LHsSigType GhcPs)) | |
GtkPatternSynonym | |
GtkTypeClass | |
GtkTypeClassMember | |
GtkTypeClassInstance (HsType GhcPs) | |
GtkTypeFamily (Maybe (HsKind GhcPs)) | |
GtkTypeFamilyInstance | |
GtkDataTypeFamily (Maybe (HsKind GhcPs)) | |
GtkDataTypeFamilyInstance | |
GtkForeignImport | |
GtkForeignExport |
getGhcTags :: Located (HsModule GhcPs) -> GhcTags Source #
Generate tags for a module - simple walk over the syntax tree.
Supported identifiers:
- top level terms
- data types
- record fields
- type synonyms
- type classes
- type class members
- type class instances
- type families
- type family instances
- data type families
- data type families instances
- data type family instances constructors