Safe Haskell | None |
---|---|
Language | Haskell2010 |
Function enumeration via CoListable typeclass This currently just a sketch.
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 #
fListing :: (CoListable a, Listable b) => [[a -> b]] Source #