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.2.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 |
Home page | https://github.com/AshleyYakeley/countable |
Bug tracker | https://github.com/AshleyYakeley/countable/issues |
Uploaded | by AshleyYakeley at 2015-01-26T05:50:56Z |
Distributions | LTSHaskell:1.2, NixOS:1.2, Stackage:1.2 |
Reverse Dependencies | 2 direct, 2 indirect [details] |
Downloads | 3835 total (25 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2015-01-26 [all 1 reports] |