extrapolate-0.2.4: generalize counter-examples of test properties

Copyright(c) 2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone
LanguageHaskell2010

Test.Extrapolate.Basic

Contents

Description

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

Orphan instances

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

Methods

expr :: Ratio a -> Expr Source #

name :: Ratio a -> String Source #

background :: Ratio a -> [Expr] Source #

instances :: Ratio a -> Instances -> Instances Source #

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

Methods

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

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

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

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

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

Methods

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

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

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

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

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

Methods

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

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

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

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

(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) Source # 

Methods

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

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

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

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