Test.Extrapolate.Testable

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

Minimal complete definition

resultiers, tinstances

Methods

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

tinstances :: a -> Instances

options :: a -> Options

Instances

Testable Bool

Defined in Test.Extrapolate.Testable

Methods

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

tinstances :: Bool -> Instances

options :: Bool -> Options

Testable a => Testable (WithOption a)

Defined in Test.Extrapolate.Testable

Methods

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

tinstances :: WithOption a -> Instances

options :: WithOption a -> Options

(Testable b, Generalizable a, Listable a) => Testable (a -> b)

Defined in Test.Extrapolate.Testable

Methods

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

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

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

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

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

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

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

data Option

Constructors

MaxTests Int

ExtraInstances Instances

MaxConditionSize Int

data WithOption a

Constructors

With

Fields

• property :: a
• option :: Option

Instances

Testable a => Testable (WithOption a)

Defined in Test.Extrapolate.Testable

Methods

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

tinstances :: WithOption a -> Instances

options :: WithOption a -> Options

testableMaxTests :: Testable a => a -> Int

testableMaxConditionSize :: Testable a => a -> Int

testableExtraInstances :: Testable a => a -> Instances

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

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

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

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

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