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.CondReason

Description

This module is part o Speculate.

Conditional equational reasoning.

Documentation

data Chy Source #

Constructors

Chy 

Fields

cfilter :: ((Expr, Expr, Expr) -> Bool) -> Chy -> Chy Source #

cdiscard :: ((Expr, Expr, Expr) -> Bool) -> Chy -> Chy Source #