speculate-0.4.20: discovery of properties about Haskell functions
Copyright(c) 2016-2024 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Speculate.Pretty

Description

This module is part of Speculate.

Pretty printing of Equations, Inequalities and Conditional Equations

Documentation

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

prettyEquations :: [Equation] -> String Source #

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

prettySemiEquations :: [Equation] -> String Source #

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

prettyCondEquations :: [CondEquation] -> String Source #