@hackage countable1.0

Countable, Searchable, Finite, Empty classes

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Ashley Yakeley <ashley@semantic.org>

    • Links

    • Versions

      • 1.2 Fri, 29 Apr 2022
      • 1.1 Thu, 28 Apr 2022
      • 1.0 Wed, 22 Jun 2016
      • 0.2 Mon, 26 Jan 2015
      • 0.1 Sun, 5 Sep 2010

    • 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:

    • (Searchable a,Eq b) => Eq (a -> b)

    • (Finite t) => Foldable ((->) t)

    • (Finite a) => Traversable ((->) a)

    • (Show a,Finite a,Show b) => Show (a -> b)