| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Fork.Bairyn.Language.Haskell.SyntaxTrees.Main
Documentation
class Translation s t where Source
Methods
translateTree :: s -> Either s t Source
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 t Source
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