Safe Haskell	Safe
Language	Haskell2010

Test.Check.Function.CoListable

Description

Function enumeration via CoListable typeclass This currently just a sketch.

Documentation

(\+:/) :: [[a]] -> [[a]] -> [[a]] infixr 9 Source

Methods

coListing :: [[b]] -> [[a -> b]] Source

Instances

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

alts0 :: [[a]] -> [[a]] 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