term-rewriting-0.3.0.1: Term Rewriting Library

Safe HaskellSafe
LanguageHaskell98

Data.Rewriting.Term.Pretty

Contents

Synopsis

Documentation

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

Orphan instances

(Pretty f, Pretty v) => Pretty (Term f v) Source # 
Instance details

Methods

pretty :: Term f v -> Doc #

prettyList :: [Term f v] -> Doc #