Data.Rewriting.Problem.Pretty

Documentation

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

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

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

Orphan instances

(Eq f, Eq v, Pretty f, Pretty v) => Pretty (Problem f v)

Methods

pretty :: Problem f v -> Doc

prettyList :: [Problem f v] -> Doc