BSD-3-Clause licensed by Ashley Yakeley
Maintained by <[email protected]>
This version can be pinned in stack with:countable-1.2@sha256:4c1d43a9886ddd9ef02b3df7042122d8cf3390256d51b061b24365b682652ad2,2638
Depends on 1 package(full list with versions):
Used by 1 package in nightly-2023-02-07(full list with versions):
  • 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)

Changes

[1.2] - 2022-04-29

  • orphan instances in separate modules

[1.1] - 2022-04-28

  • removed None type (use Void instead)
  • new Singular class
  • hid Data.Expression

[1.0] - 2016-06-22