leancheck-0.4.1: Cholesterol-free property-based testing

Safe HaskellNone
LanguageHaskell2010

Test.LeanCheck.Function.CoListable

Description

Function enumeration via CoListable typeclass This currently just a sketch.

Documentation

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

class CoListable a where Source #

Minimal complete definition

coListing

Methods

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

Instances

CoListable Bool Source # 

Methods

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

CoListable Int Source # 

Methods

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

CoListable () Source # 

Methods

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

CoListable a => CoListable [a] Source # 

Methods

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

CoListable a => CoListable (Maybe a) Source # 

Methods

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

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

Methods

coListing :: [[b]] -> [[Either a b -> 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 #

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