countable

Countable, Searchable, Finite, Empty classes

BSD-3-Clause licensed and maintained by Ashley Yakeley

This version can be pinned in stack with:countable-1.0@sha256:965ba98037e9db0798cbc4270683c2cfde93ddc27c49b4634a3b24ba730dd4d5,2175

Depends on 1 package(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 Empty, for empty types
data Nothing, an empty type

Some orphan instances: