# countable: Countable, Searchable, Finite, Empty classes

`class Countable`

, for countable types`class AtLeastOneCountable`

, for countable types that have at least one value`class InfiniteCountable`

, for infinite countable types`class Searchable`

, for types that can be searched over. This turns out to include some infinite types, see http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/.`class Finite`

, for finite types`class Singular`

, for singular (n = 1) types`class Empty`

, for empty (n = 0) types

Some orphan instances (in their own modules):

`(Searchable a,Eq b) => Eq (a -> b)`

`Finite t => Foldable ((->) t)`

`Finite a => Traversable ((->) a)`

`(Show a,Finite a,Show b) => Show (a -> b)`

## Modules

*Data*- Data.Countable
- Data.Empty
*Function*- Data.Function.Eq
- Data.Function.Foldable
- Data.Function.Show
- Data.Function.Traversable

- Data.Searchable
- Data.Singular

## Downloads

- countable-1.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

Versions [RSS] | 0.1, 0.2, 1.0, 1.1, 1.2 |
---|---|

Change log | changelog.md |

Dependencies | base (>=4.15 && <5) [details] |

License | BSD-3-Clause |

Copyright | (c) 2010-2022 Ashley Yakeley |

Author | Ashley Yakeley |

Maintainer | <ashley@semantic.org> |

Category | Data |

Home page | https://github.com/AshleyYakeley/countable |

Bug tracker | https://github.com/AshleyYakeley/countable/issues |

Uploaded | by AshleyYakeley at 2022-04-29T07:18:39Z |

Distributions | LTSHaskell:1.2, NixOS:1.0, Stackage:1.2 |

Downloads | 3357 total (24 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2022-04-29 [all 2 reports] |