term-rewriting-0.1.2.2: Term Rewriting Library

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Rewriting.Rule.Pretty

Documentation

prettyRule :: Doc -> (f -> Doc) -> (v -> Doc) -> Rule f v -> Doc Source