Copyright | Daniel Mendler (c) 2016 |
---|---|
License | MIT (see the file LICENSE) |
Maintainer | mail@daniel-mendler.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
The standard Arbitrary
instances don't generate special values.
This is fixed by this package which provides the newtype Special
with an Arbitrary
instance.
The special values are given by the SpecialValues
typeclass.
- newtype Special a = Special {
- getSpecial :: a
- class SpecialValues a where
Documentation
Additionally to the standard Arbitrary instances, this generates special values with a small probability.
Special | |
|
Functor Special Source # | |
Bounded a => Bounded (Special a) Source # | |
Enum a => Enum (Special a) Source # | |
Eq a => Eq (Special a) Source # | |
Integral a => Integral (Special a) Source # | |
Num a => Num (Special a) Source # | |
Ord a => Ord (Special a) Source # | |
Read a => Read (Special a) Source # | |
Real a => Real (Special a) Source # | |
Show a => Show (Special a) Source # | |
(Arbitrary a, SpecialValues a) => Arbitrary (Special a) Source # | |
CoArbitrary a => CoArbitrary (Special a) Source # | |
class SpecialValues a where Source #
Provides a list of special values or edge cases
specialValues :: [a] Source #
Finite list of special values