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 |
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 Source #
CoListable Bool Source # | |
CoListable Int Source # | |
CoListable () Source # | |
CoListable Nat3 Source # | |
CoListable Nat2 Source # | |
CoListable Nat Source # | |
CoListable a => CoListable [a] Source # | |
CoListable a => CoListable (Maybe a) Source # | |
(CoListable a, CoListable b) => CoListable (Either a b) Source # | |
(CoListable a, CoListable b) => CoListable (a, b) Source # | |
alts1 :: CoListable a => [[b]] -> [[a -> b]] Source #
alts2 :: (CoListable a, CoListable b) => [[c]] -> [[a -> b -> c]] Source #
alts3 :: (CoListable a, CoListable b, CoListable c) => [[d]] -> [[a -> b -> c -> d]] Source #
ftiers :: (CoListable a, Listable b) => [[a -> b]] Source #
Orphan instances
(CoListable a, Listable b) => Listable (a -> b) Source # | |