countable

Countable, Searchable, Finite, Empty classes

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-2025-10-10(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):

Changes