speculate-0.3.2: discovery of properties about Haskell functions

Copyright(c) 2016-2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone
LanguageHaskell2010

Test.Speculate.CondReason

Description

This module is part o Speculate.

Conditional equational reasoning.

Documentation

data Chy #

Constructors

Chy 

Fields

updateCEquationsBy :: ([(Expr, Expr, Expr)] -> [(Expr, Expr, Expr)]) -> Chy -> Chy #

creductions1 :: Expr -> Expr -> (Expr, Expr, Expr) -> [Expr] #

cequivalent :: Chy -> Expr -> Expr -> Expr -> Bool #

cinsert :: (Expr, Expr, Expr) -> Chy -> Chy #

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

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