haskell-tools-ast

Haskell AST for efficient tooling

Version on this page:	1.1.0.2
LTS Haskell 12.26:	1.1.0.2
Stackage Nightly 2018-09-28:	1.1.0.2
Latest on Hackage:	1.1.1.0

See all snapshots haskell-tools-ast appears in

BSD-3-Clause licensed by Boldizsar Nemeth

Maintained by [email protected]

This version can be pinned in stack with:haskell-tools-ast-1.1.0.2@sha256:a5ed188030e14afda96c178382211895208a61e6a276bbe08c69571dba849fa8,3928

Module documentation for 1.1.0.2

Language
- Language.Haskell
  - Language.Haskell.Tools
    - Language.Haskell.Tools.AST
      - Language.Haskell.Tools.AST.Ann
      - Language.Haskell.Tools.AST.Helpers
      - Language.Haskell.Tools.AST.References
      - Language.Haskell.Tools.AST.SemaInfoClasses
      - Language.Haskell.Tools.AST.SemaInfoTypes

Depends on 8 packages(full list with versions):

base, classyplate, ghc, mtl, pretty, references, template-haskell, uniplate

Used by 7 packages in nightly-2018-08-04(full list with versions):

haskell-tools-backend-ghc, haskell-tools-builtin-refactorings, haskell-tools-debug, haskell-tools-demo, haskell-tools-prettyprint, haskell-tools-refactor, haskell-tools-rewrite

A representation of a Haskell Syntax tree that contain source-related and semantic annotations. These annotations help developer tools to work with the defined program. The source information enables refactoring and program transformation tools to change the source code without losing the original format (layout, comments) of the source. Semantic information helps analyzing the program. The representation is different from the GHC's syntax tree. It contains information from all representations in GHC (different version of syntax trees, lexical and module-level information). The module is split up to put the representation of different language elements into different modules. Additionally, it contains the representation of semantic and source annotations, helper functions and generated instances for the representation of language elements. Because langauge elements may refer each other (there can be a pattern inside an expression in case of a pattern match and an expression inside a pattern if view patterns are enabled), we use hs-boot files to break up dependency cycles.