Package Info

ghc-countable


Countable, Searchable, Finite, Empty classes


Development/Libraries/Haskell
  • '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/&gt;.

  • '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)' / /.


License: BSD-2-Clause
URL: https://hackage.haskell.org/package/countable

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
1.0-bp150.2.4 info GA Release 2018-08-01 15
  • AArch64
  • ghc-countable
  • ghc-countable-devel
1.0-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-countable
  • ghc-countable-devel