BSD-3-Clause licensed by **Ashley Yakeley**

This version can be pinned in stack with:`countable-1.2@sha256:4c1d43a9886ddd9ef02b3df7042122d8cf3390256d51b061b24365b682652ad2,2638`

#### Module documentation for 1.2

`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)`

* *

## [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