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 Singular, for singular (n = 1) types . * class Empty, for empty (n = 0) 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)

Modules

[Last Documentation]

  • Data
    • Data.Countable
    • Data.Empty
    • Data.Searchable
    • Data.Singular

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.15 && <5) [details]
License BSD-3-Clause
Copyright (c) 2010 Ashley Yakeley
Author Ashley Yakeley
Maintainer <ashley@semantic.org>
Category Data
Home page https://github.com/AshleyYakeley/countable
Bug tracker https://github.com/AshleyYakeley/countable/issues
Uploaded by AshleyYakeley at 2022-04-28T09:23:03Z
Distributions LTSHaskell:1.2, NixOS:1.2, Stackage:1.2
Reverse Dependencies 2 direct, 2 indirect [details]
Downloads 3415 total (45 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2022-04-28 [all 2 reports]