Safe Haskell | None |
---|---|

Language | Haskell2010 |

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

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 #