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



type Witness a = aSource

class Translation s t whereSource


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.