Copyright | (c) 2017-2019 Rudy Matela |
---|---|
License | 3-Clause BSD (see the file LICENSE) |
Maintainer | Rudy Matela <rudy@matela.com.br> |
Safe Haskell | None |
Language | Haskell2010 |
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 #
resultiers :: a -> [[(Expr, Bool)]] Source #
tinstances :: a -> Instances Source #
Instances
Testable Bool Source # | |
Testable a => Testable (WithOption a) Source # | |
Defined in Test.Extrapolate.Testable 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 # | |
Defined in Test.Extrapolate.Testable |
counterExamples :: Testable a => a -> [Expr] Source #
data WithOption a Source #
Instances
Testable a => Testable (WithOption a) Source # | |
Defined in Test.Extrapolate.Testable 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 #
testableBackground :: Testable a => a -> [Expr] Source #
testableAtoms :: Testable a => a -> [[Expr]] Source #