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

Package maintainers

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 3636 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]