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 <rudy@matela.com.br>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Speculate.Expr.Equate

Description

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) Source #

isEquation :: Expr -> Bool Source #

unComparison :: Expr -> (Expr, Expr) Source #

mkConditionalEquation :: Instances -> Expr -> Expr -> Expr -> Expr Source #

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