speculate-0.2.3: discovery of properties about Haskell functions
Test.Speculate.CondReason
data Chy Source #
Constructors
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 #