term-rewriting-0.3.0.1: Term Rewriting Library

Safe HaskellNone
LanguageHaskell98

Data.Rewriting.Problem.Pretty

Contents

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 #

Orphan instances

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

Methods

pretty :: Problem f v -> Doc #

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