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

Some orphan instances (in their own modules):

  • (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
    • Function
      • Data.Function.Eq
      • Data.Function.Foldable
      • Data.Function.Show
      • Data.Function.Traversable
    • 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
Change log changelog.md
Dependencies base (>=4.15 && <5) [details]
License BSD-3-Clause
Copyright (c) 2010-2022 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-29T07:18:39Z
Distributions LTSHaskell:1.2, NixOS:1.2, Stackage:1.2
Reverse Dependencies 2 direct, 2 indirect [details]
Downloads 3645 total (22 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-29 [all 2 reports]