countable: Countable, Searchable, Finite, Empty classes
class Countable
, for countable typesclass AtLeastOneCountable
, for countable types that have at least one valueclass InfiniteCountable
, for infinite countable typesclass 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 typesclass Empty
, for empty typesdata 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)
Downloads
- countable-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2, 1.0, 1.1, 1.2 |
---|---|
Dependencies | base (>=4 && <5) [details] |
License | BSD-3-Clause |
Copyright | Ashley Yakeley <ashley@semantic.org> |
Author | Ashley Yakeley <ashley@semantic.org> |
Maintainer | Ashley Yakeley <ashley@semantic.org> |
Category | Data |
Uploaded | by AshleyYakeley at 2010-09-05T10:32:29Z |
Distributions | LTSHaskell:1.2, NixOS:1.2, Stackage:1.2 |
Reverse Dependencies | 2 direct, 2 indirect [details] |
Downloads | 3802 total (23 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |