term-rewriting-0.4: Term Rewriting Library

Safe HaskellSafe
LanguageHaskell98

Data.Rewriting.Rule.Pretty

Contents

Documentation

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

Orphan instances

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

Methods

pretty :: Rule f v -> Doc #

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