Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module is part of LeanCheck
.
It exports a Listable
instance for function enumeration
by means of a CoListable
typeclass.
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 a => CoListable [a] Source # | |
CoListable a => CoListable (Maybe a) Source # | |
(CoListable a, CoListable b) => CoListable (Either 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 #