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

unEquation :: Expr -> (Expr, Expr)

isEquation :: Expr -> Bool

unComparison :: Expr -> (Expr, Expr)

mkConditionalEquation :: Instances -> Expr -> Expr -> Expr -> Expr

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