term-rewriting-0.1: Term Rewriting Library

Safe HaskellSafe-Inferred

Data.Rewriting.Term.Pretty

Synopsis

Documentation

prettyTerm :: (f -> Doc) -> (v -> Doc) -> Term f v -> DocSource

Given a pretty printer f for function symbols and pretty printer v for variables prettyTerm f v produces a pretty printer for terms