Test.Speculate.Pretty

This module is part of Speculate.

Pretty printing of Equations, Inequalities and Conditional Equations

Documentation

prettyThy :: (Equation -> Bool) -> Instances -> Thy -> String

prettyEquations :: [Equation] -> String

prettyShy :: (Equation -> Bool) -> Instances -> (Expr -> Expr -> Bool) -> Shy -> String

prettySemiEquations :: [Equation] -> String

prettyChy :: (CondEquation -> Bool) -> Chy -> String

prettyCondEquations :: [CondEquation] -> String