Test.LeanCheck.Function.CoListable

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

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

class CoListable a where

Minimal complete definition

coListing

Methods

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

Instances

CoListable Bool

Methods

coListing :: [[b]] -> [[Bool -> b]]

CoListable Int

Methods

coListing :: [[b]] -> [[Int -> b]]

CoListable ()

Methods

coListing :: [[b]] -> [[() -> b]]

CoListable a => CoListable [a]

Methods

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

CoListable a => CoListable (Maybe a)

Methods

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

(CoListable a, CoListable b) => CoListable (Either a b)

Methods

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

alts0 :: [[a]] -> [[a]]

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]]

fListing :: (CoListable a, Listable b) => [[a -> b]]