Copyright | (c) 2017 Rudy Matela |
---|---|
License | 3-Clause BSD (see the file LICENSE) |
Maintainer | Rudy Matela <rudy@matela.com.br> |
Safe Haskell | None |
Language | Haskell2010 |
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) Source # | |