Copyright	(c) 2017 Rudy Matela
License	3-Clause BSD (see the file LICENSE)
Maintainer	Rudy Matela <[email protected]>
Safe Haskell	None
Language	Haskell2010

Test.Extrapolate.Basic

Contents

Orphan instances

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

module Test.Extrapolate.Core

module Test.Extrapolate.New

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 #