Language.Haskell.Tools.AST.Ann
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
class RangeInfo stage
data NodeInfo sema src
data Ann elem dom stage
data AnnListG elem dom stage
data AnnMaybeG elem dom stage
class HasSourceInfo e
class ApplySemaChange cls
class SemanticTraversal a
data SemaTrf f dom1 dom2
class SourceInfoTraversal a
data SourceInfoTrf f st1 st2