speculate-0.2.5: discovery of properties about Haskell functions

Copyright(c) 2016-2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone
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.

Synopsis

Documentation

uselessEquation :: Expr -> Bool Source #

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.