Data.Rewriting.Substitution.Pretty

Documentation

prettySubst :: (f -> Doc) -> (v -> Doc) -> Subst f v -> Doc

Orphan instances

(Pretty v, Pretty f, Pretty v') => Pretty (GSubst v f v')

Methods

pretty :: GSubst v f v' -> Doc

prettyList :: [GSubst v f v'] -> Doc