countable-1.0: Countable, Searchable, Finite, Empty classes
class Countable
, for countable typesclass AtLeastOneCountable
, for countable types that have at least one valueclass InfiniteCountable
, for infinite countable typesclass 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 typesclass Empty
, for empty typesdata Nothing
, an empty type
Some orphan instances:
(Searchable a,Eq b) => Eq (a -> b)
(Finite t) => Foldable ((->) t)
(Finite a) => Traversable ((->) a)
(Show a,Finite a,Show b) => Show (a -> b)
Signatures