# The countable package

`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 Empty`, for empty types`data Nothing`, an empty type

Some orphan instances:

`(Searchable a,Eq b) => Eq (a -> b)``(Finite t) => Foldable ((->) t)``(Finite a) => Traversable ((->) a)``(Show a,Finite a,Show b) => Show (a -> b)`

## Properties

Versions | 0.1, 0.2 |
---|---|

Dependencies | base (==4.*) [details] |

License | BSD3 |

Copyright | Ashley Yakeley <ashley@semantic.org> |

Author | Ashley Yakeley <ashley@semantic.org> |

Maintainer | Ashley Yakeley <ashley@semantic.org> |

Stability | Unknown |

Category | Data |

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

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

Uploaded | Mon Jan 26 05:50:56 UTC 2015 by AshleyYakeley |

Distributions | NixOS:0.2 |

Downloads | 483 total (5 in the last 30 days) |

Votes | |

Status | Docs available [build log] Last success reported on 2015-01-26 [all 1 reports] |

## Downloads

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