term-rewriting-0.5: Term Rewriting Library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Rewriting.Substitution.Pretty

Documentation

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

Orphan instances

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

Methods

pretty :: GSubst v f v' -> Doc #

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