extrapolate-0.4.6: generalize counter-examples of test properties
Copyright(c) 2017-2019 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <[email protected]>
Safe HaskellNone
LanguageHaskell2010

Test.Extrapolate.Testable

Description

This module is part of Extrapolate, a library for generalization of counter-examples.

This defines the Testable typeclass and utilities involving it.

You are probably better off importing Test.Extrapolate.

Documentation

class Typeable a => Testable a where Source #

Minimal complete definition

resultiers, tinstances

Methods

resultiers :: a -> [[(Expr, Bool)]] Source #

tinstances :: a -> Instances Source #

options :: a -> Options Source #

Instances

Instances details
Testable Bool Source # 
Instance details

Defined in Test.Extrapolate.Testable

Methods

resultiers :: Bool -> [[(Expr, Bool)]] Source #

tinstances :: Bool -> Instances Source #

options :: Bool -> Options Source #

Testable a => Testable (WithOption a) Source # 
Instance details

Defined in Test.Extrapolate.Testable

Methods

resultiers :: WithOption a -> [[(Expr, Bool)]] Source #

tinstances :: WithOption a -> Instances Source #

options :: WithOption a -> Options Source #

(Testable b, Generalizable a, Listable a) => Testable (a -> b) Source # 
Instance details

Defined in Test.Extrapolate.Testable

Methods

resultiers :: (a -> b) -> [[(Expr, Bool)]] Source #

tinstances :: (a -> b) -> Instances Source #

options :: (a -> b) -> Options Source #

results :: Testable a => a -> [(Expr, Bool)] Source #

limitedResults :: Testable a => a -> [(Expr, Bool)] Source #

counterExample :: Testable a => a -> Maybe Expr Source #

counterExamples :: Testable a => a -> [Expr] Source #

data Option Source #

Constructors

MaxTests Int 
ExtraInstances Instances 
MaxConditionSize Int 

data WithOption a Source #

Constructors

With 

Fields

Instances

Instances details
Testable a => Testable (WithOption a) Source # 
Instance details

Defined in Test.Extrapolate.Testable

Methods

resultiers :: WithOption a -> [[(Expr, Bool)]] Source #

tinstances :: WithOption a -> Instances Source #

options :: WithOption a -> Options Source #

testableMaxTests :: Testable a => a -> Int Source #

testableMaxConditionSize :: Testable a => a -> Int Source #

testableExtraInstances :: Testable a => a -> Instances Source #

testableGrounds :: Testable a => a -> Expr -> [Expr] Source #

testableNames :: Testable a => a -> Expr -> [String] Source #

testableBackground :: Testable a => a -> [Expr] Source #

testableMkEquation :: Testable a => a -> Expr -> Expr -> Expr Source #

testableAtoms :: Testable a => a -> [[Expr]] Source #