parseToTarget | Language.Haskell.SyntaxTrees.Main, Language.Haskell.SyntaxTrees.ExtsToTH |
parseToTH | Language.Haskell.SyntaxTrees.ExtsToTH |
translateExtsToTH | Language.Haskell.SyntaxTrees.ExtsToTH |
translateTree | Language.Haskell.SyntaxTrees.Main, Language.Haskell.SyntaxTrees.ExtsToTH |
Translation | Language.Haskell.SyntaxTrees.Main |
Witness | Language.Haskell.SyntaxTrees.Main |