Modulerere-0.2.0.2Haskell2010

RERE.LaTeX

Pretty-print structures as LaTeX code.

Note: doesn't work with MathJax.

Requires rere.sty distributed with this package, or definition of the macros that are provided by rere.sty in some other way.

valueputLatex :: RE Void -> IO ()

Pretty-print RE as LaTeX code.

valueputLatexTrace :: RE Void -> String -> IO ()

Run match variant, collect intermediate steps, and pretty-print that trace.

valueputLatexCFG :: Vec n Name -> CFG n Void -> IO ()

Pretty-print CFG given the names.