Test.Speculate.Expr.Equate

This module is part of Speculate.

This module exports smart constructors, smart destructors and queries over equations, inequations and conditional equations.

Documentation

equation :: Instances -> Expr -> Expr -> Maybe Expr

unEquation :: Expr -> (Expr, Expr)

isEquation :: Expr -> Bool

uselessEquation :: Expr -> Bool

Given an equation encoded as an Expr. Checks if both sides of an equation are the same. If the Expr is not an equation, this raises an error.

usefulEquation :: Expr -> Bool

phonyEquation :: Expr -> Expr -> Expr

comparisonLT :: Instances -> Expr -> Expr -> Maybe Expr

comparisonLE :: Instances -> Expr -> Expr -> Maybe Expr

unComparison :: Expr -> (Expr, Expr)

implication :: Expr -> Expr -> Maybe Expr

unImplication :: Expr -> (Expr, Expr)

usefulImplication :: Expr -> Bool

conditionalEquation :: Instances -> Expr -> Expr -> Expr -> Maybe Expr

unConditionalEquation :: Expr -> (Expr, Expr, Expr)

usefulConditionalEquation :: Expr -> Bool

conditionalComparisonLT :: Instances -> Expr -> Expr -> Expr -> Maybe Expr

conditionalComparisonLE :: Instances -> Expr -> Expr -> Expr -> Maybe Expr

unConditionalComparison :: Expr -> (Expr, Expr, Expr)