Language.Haskell.Tools.AST.Ann

Annotation type resolution

data RangeStage

data NormRangeStage

data RngTemplateStage

data SrcTemplateStage

data Dom name

data IdDom

type SemanticInfo domain node

data SameInfoNameCls

data SameInfoExprCls

data SameInfoImportCls

data SameInfoModuleCls

data SameInfoDefaultCls

data SameInfoWildcardCls

type family SemaInfoClassify (node :: * -> * -> *) where ...

type family SemanticInfo' (domain :: *) (nodecls :: *)

class Domain d

class DomainWith e d

class HasRange a

class SourceInfo stage

shortShowSpan

shortShowLoc

class RangeInfo stage

Annotations

data NodeInfo sema src

sourceInfo

semanticInfo

data Ann elem dom stage

element

annotation

data AnnListG elem dom stage

annListElems

annListAnnot

annList

data AnnMaybeG elem dom stage

annMaybeAnnot

annMaybe

class HasSourceInfo e

annJust

annNil

isAnnNothing

isAnnJust

annLength

annNothing

Info types

class ApplySemaChange cls

class SemanticTraversal a

data SemaTrf f dom1 dom2

class SourceInfoTraversal a

data SourceInfoTrf f st1 st2