extrapolate-0.3.0: generalize counter-examples of test properties

Copyright (c) 2017 Rudy Matela 3-Clause BSD (see the file LICENSE) Rudy Matela None Haskell2010

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.

# Orphan instances

 (Integral a, Generalizable a) => Generalizable (Ratio a) Source # Methodsexpr :: Ratio a -> Expr Source #name :: Ratio a -> String Source #background :: Ratio a -> [Expr] Source # (Generalizable a, Generalizable b, Generalizable c, Generalizable d, Generalizable e) => Generalizable (a, b, c, d, e) Source # Methodsexpr :: (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 # Methodsexpr :: (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 # Methodsexpr :: (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 # Methodsexpr :: (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 #