Copyright | (c) 2015-2017 Rudy Matela |
---|---|
License | 3-Clause BSD (see the file LICENSE) |
Maintainer | Rudy Matela <rudy@matela.com.br> |
Safe Haskell | None |
Language | Haskell2010 |
Test.LeanCheck.Function.CoListable
Contents
Description
This module is part of LeanCheck, a simple enumerative property-based testing library.
This module exports a Listable
instance for function enumeration by means
of a CoListable
typeclass. This is very similar to the coseries
enumeration of SmallCheck.
This module does not currently work, it it just a sketch and a stub.
Documentation
class CoListable a where #
Minimal complete definition
Instances
CoListable Bool # | |
CoListable Int # | |
CoListable () # | |
CoListable Nat3 # | |
CoListable Nat2 # | |
CoListable Nat # | |
CoListable a => CoListable [a] # | |
CoListable a => CoListable (Maybe a) # | |
(CoListable a, CoListable b) => CoListable (Either a b) # | |
(CoListable a, CoListable b) => CoListable (a, b) # | |
alts1 :: CoListable a => [[b]] -> [[a -> b]] #
alts2 :: (CoListable a, CoListable b) => [[c]] -> [[a -> b -> c]] #
alts3 :: (CoListable a, CoListable b, CoListable c) => [[d]] -> [[a -> b -> c -> d]] #
ftiers :: (CoListable a, Listable b) => [[a -> b]] #
Orphan instances
(CoListable a, Listable b) => Listable (a -> b) # | |