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.Sanity

Description

This module is part of Speculate.

Sanity checks for before running the Speculate algorithm.

Documentation

instanceErrors :: Instances -> Int -> [TypeRep] -> [String] Source #

eqOrdErrors :: Instances -> Int -> TypeRep -> [String] Source #

eqErrors :: Instances -> Int -> TypeRep -> [String] Source #

ordErrors :: Instances -> Int -> TypeRep -> [String] Source #