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 <[email protected]>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Speculate.CondReason

Description

This module is part o Speculate.

Conditional equational reasoning.

Documentation

data Chy Source #

Constructors

Chy 

Fields

emptyChy :: Chy Source #

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

listImplied :: Chy -> Expr -> [Expr] Source #

listImplies :: Chy -> Expr -> [Expr] Source #

listEquivalent :: Chy -> Expr -> [Expr] Source #

reduceRootWith :: Binds -> Expr -> (Expr, Expr) -> Maybe Expr Source #

reductions1With :: Binds -> Expr -> (Expr, Expr) -> [Expr] Source #

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

cnormalize :: Chy -> Expr -> Expr -> Expr Source #

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

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

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

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

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

cdelete :: Chy -> Chy Source #

cfinalize :: Chy -> Chy Source #

canonicalizeCEqn :: (Expr -> Expr -> Ordering) -> (Expr, Expr, Expr) -> (Expr, Expr, Expr) Source #

canonicalizeCEqnWith :: (Expr -> Expr -> Ordering) -> Instances -> (Expr, Expr, Expr) -> (Expr, Expr, Expr) Source #

canonicalCEqnBy :: (Expr -> Expr -> Ordering) -> Instances -> (Expr, Expr, Expr) -> Bool Source #

canonicalCEqn :: (Expr -> Expr -> Ordering) -> (Expr, Expr, Expr) -> Bool Source #

finalCondEquations :: ((Expr, Expr, Expr) -> Bool) -> Chy -> [(Expr, Expr, Expr)] Source #