term-rewriting-0.3: Term Rewriting Library

Safe HaskellSafe
LanguageHaskell98

Data.Rewriting.Substitution.Pretty

Contents

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 #