Test.LeanCheck.Function.CoListable

This module is part of LeanCheck, a simple enumerative property-based testing library.

This module exports functions to define a Listable instance for function enumeration by means of a CoListable typeclass. This is very similar to the coseries enumeration of SmallCheck.

This module does not currently work, it it just a sketch and a stub.

Documentation

class CoListable a where

Minimal complete definition

cotiers

Methods

cotiers :: [[b]] -> [[a -> b]]

Instances

CoListable Bool

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b]] -> [[Bool -> b]]

CoListable Int

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b]] -> [[Int -> b]]

CoListable ()

Defined in Test.LeanCheck.Function.CoListable

Methods

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

CoListable Nat3

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b]] -> [[Nat3 -> b]]

CoListable Nat2

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b]] -> [[Nat2 -> b]]

CoListable Nat

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b]] -> [[Nat -> b]]

CoListable a => CoListable [a]

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b]] -> [[[a] -> b]]

CoListable a => CoListable (Maybe a)

Defined in Test.LeanCheck.Function.CoListable

Methods

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

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

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b0]] -> [[Either a b -> b0]]

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

Defined in Test.LeanCheck.Function.CoListable

Methods

cotiers :: [[b0]] -> [[(a, b) -> b0]]