syntax-trees-0.1: Convert between different Haskell syntax trees.

Language.Haskell.SyntaxTrees.Main

Documentation

type Witness a = aSource

class Translation s t whereSource

Methods

translateTree :: s -> Either s tSource

Translate a tree of type s to a tree of type t.

If translation fails then translate s = Left s, otherwise translate s = Right t where t is the translated tree.

parseToTarget :: Witness s -> String -> Either String tSource

Parse a string to a tree of type t, via intermediate representation as a tree of type s. Requires a witness of the intermediate type s to be passed as the first argument.

If parsing fails then parseToTarget s = Left s, otherwise parseToTarget s = Right t where t is the parsed tree.

Instances