term-rewriting-0.2: Term Rewriting Library

Safe HaskellNone
LanguageHaskell98

Data.Rewriting.Problem.Pretty

Documentation

prettyProblem :: (Eq f, Eq v) => (f -> Doc) -> (v -> Doc) -> Problem f v -> Doc Source

prettyWST :: (f -> Doc) -> (v -> Doc) -> Problem f v -> Doc Source

prettyWST' :: (Pretty f, Pretty v) => Problem f v -> Doc Source