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
