Test.Extrapolate.Basic

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

This provides the basic functionality of extrapolate. You will have better luck importing Test.Extrapolate directly.

Documentation

module Test.Extrapolate.Core

Orphan instances

(Integral a, Generalizable a) => Generalizable (Ratio a)

Methods

expr :: Ratio a -> Expr

name :: Ratio a -> String

background :: Ratio a -> [Expr]

instances :: Ratio a -> Instances -> Instances

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

Methods

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

name :: (a, b, c, d, e) -> String

background :: (a, b, c, d, e) -> [Expr]

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

(Generalizable a, Generalizable b, Generalizable c, Generalizable d, Generalizable e, Generalizable f) => Generalizable (a, b, c, d, e, f)

Methods

expr :: (a, b, c, d, e, f) -> Expr

name :: (a, b, c, d, e, f) -> String

background :: (a, b, c, d, e, f) -> [Expr]

instances :: (a, b, c, d, e, f) -> Instances -> Instances

(Generalizable a, Generalizable b, Generalizable c, Generalizable d, Generalizable e, Generalizable f, Generalizable g) => Generalizable (a, b, c, d, e, f, g)

Methods

expr :: (a, b, c, d, e, f, g) -> Expr

name :: (a, b, c, d, e, f, g) -> String

background :: (a, b, c, d, e, f, g) -> [Expr]

instances :: (a, b, c, d, e, f, g) -> Instances -> Instances

(Generalizable a, Generalizable b, Generalizable c, Generalizable d, Generalizable e, Generalizable f, Generalizable g, Generalizable h) => Generalizable (a, b, c, d, e, f, g, h)

Methods

expr :: (a, b, c, d, e, f, g, h) -> Expr

name :: (a, b, c, d, e, f, g, h) -> String

background :: (a, b, c, d, e, f, g, h) -> [Expr]

instances :: (a, b, c, d, e, f, g, h) -> Instances -> Instances