countable: Countable, Searchable, Finite, Empty classes

[ bsd3, data, library ] [ Propose Tags ]
  • 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)

Downloads

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.0, NixOS:1.0, Stackage:1.2
Downloads 3208 total (40 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]