The countable package
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)
Properties
| Version | 0.1 |
|---|---|
| Dependencies | base (4.*) |
| License | BSD3 |
| Copyright | Ashley Yakeley <ashley@semantic.org> |
| Author | Ashley Yakeley <ashley@semantic.org> |
| Maintainer | Ashley Yakeley <ashley@semantic.org> |
| Category | Data |
| Upload date | Sun Sep 5 10:32:29 UTC 2010 |
| Uploaded by | AshleyYakeley |
| Built on | ghc-6.12, ghc-7.0 |
Modules
Downloads
- countable-0.1.tar.gz (Cabal source package)
- package description (included in the package)