term-rewriting-0.1.2.2: Term Rewriting Library
Data.Rewriting.Term.Pretty
Synopsis
prettyTerm :: (f -> Doc) -> (v -> Doc) -> Term f v -> Doc Source
Given a pretty printer f for function symbols and pretty printer v for variables prettyTerm f v produces a pretty printer for terms
f
v
prettyTerm f v