Test.Extrapolate.Core

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

This is the core of extrapolate.

Documentation

module Test.LeanCheck

module Test.LeanCheck.Utils.TypeBinding

module Test.Extrapolate.Exprs

class (Listable a, Typeable a, Show a) => Generalizable a where

Minimal complete definition

expr

Methods

expr :: a -> Expr

useful :: a -> [Expr]

instances :: a -> Instances -> Instances

Instances

Generalizable Bool

Methods

expr :: Bool -> Expr

useful :: Bool -> [Expr]

instances :: Bool -> Instances -> Instances

Generalizable Char

Methods

expr :: Char -> Expr

useful :: Char -> [Expr]

instances :: Char -> Instances -> Instances

Generalizable Int

Methods

expr :: Int -> Expr

useful :: Int -> [Expr]

instances :: Int -> Instances -> Instances

Generalizable Integer

Methods

expr :: Integer -> Expr

useful :: Integer -> [Expr]

instances :: Integer -> Instances -> Instances

Generalizable ()

Methods

expr :: () -> Expr

useful :: () -> [Expr]

instances :: () -> Instances -> Instances

Generalizable a => Generalizable [a]

Methods

expr :: [a] -> Expr

useful :: [a] -> [Expr]

instances :: [a] -> Instances -> Instances

Generalizable a => Generalizable (Maybe a)

Methods

expr :: Maybe a -> Expr

useful :: Maybe a -> [Expr]

instances :: Maybe a -> Instances -> Instances

(Generalizable a, Generalizable b) => Generalizable (a, b)

Methods

expr :: (a, b) -> Expr

useful :: (a, b) -> [Expr]

instances :: (a, b) -> Instances -> Instances

(Generalizable a, Generalizable b, Generalizable c) => Generalizable (a, b, c)

Methods

expr :: (a, b, c) -> Expr

useful :: (a, b, c) -> [Expr]

instances :: (a, b, c) -> Instances -> Instances

this :: (Typeable a, Listable a, Show a) => String -> a -> (Instances -> Instances) -> Instances -> Instances

these :: (Typeable a, Listable a, Show a) => String -> a -> [Expr] -> (Instances -> Instances) -> Instances -> Instances

usefuns :: Typeable a => a -> [Expr] -> Instances

(+++) :: Ord a => [a] -> [a] -> [a] infixr 5

nameOf :: Generalizable a => a -> String

data Option

Constructors

MaxTests Int

ExtraInstances Instances

MaxConditionSize Int

Instances

Show Option

Methods

showsPrec :: Int -> Option -> ShowS

show :: Option -> String

showList :: [Option] -> ShowS

options :: Testable a => a -> Options

data WithOption a

Constructors

With

Fields

• property :: a
• option :: Option

Instances

Testable a => Testable (WithOption a)

Methods

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

($-|) :: WithOption a -> [Expr] -> Bool

tinstances :: WithOption a -> Instances

options :: WithOption a -> Options

maxTests :: Testable a => a -> Int

extraInstances :: Testable a => a -> Instances

maxConditionSize :: Testable a => a -> Int

counterExampleGen :: Testable a => Int -> a -> Maybe ([Expr], Maybe [Expr])

counterExampleGens :: Testable a => Int -> a -> Maybe ([Expr], [[Expr]])

generalizationsCE :: Testable a => Int -> a -> [Expr] -> [[Expr]]

generalizationsCEC :: Testable a => Int -> a -> [Expr] -> [(Expr, [Expr])]

generalizationsCounts :: Testable a => Int -> a -> [Expr] -> [([Expr], Int)]

conditionalGeneralization :: Testable a => Int -> a -> [Expr] -> [Expr] -> Maybe ([Expr], [Expr])

matchList :: [Expr] -> [Expr] -> Maybe Binds

List matches of lists of expressions if possible

[0,1]   `matchList` [x,y]   = Just [x=0, y=1]
[0,1+2] `matchList` [x,y+y] = Nothing

newMatches :: [Expr] -> [Expr] -> Maybe Binds

class Testable a where

Minimal complete definition

resultiers, ($-|), tinstances

Methods

options :: a -> Options

Instances

Testable Bool

Methods

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

($-|) :: Bool -> [Expr] -> Bool

tinstances :: Bool -> Instances

options :: Bool -> Options

Testable a => Testable (WithOption a)

Methods

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

($-|) :: WithOption a -> [Expr] -> Bool

tinstances :: WithOption a -> Instances

options :: WithOption a -> Options

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

Methods

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

($-|) :: (a -> b) -> [Expr] -> Bool

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

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

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

areInstancesOf :: [Expr] -> [Expr] -> Bool

expressionsT :: [Expr] -> [[Expr]]