| Copyright | (C) 2010-2015 Maximilian Bolingbroke |
|---|---|
| License | BSD-3-Clause (see the file LICENSE) |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Algebra.Enumerable
Description
Deprecated: Use Data.Universe.Class
Synopsis
- class Enumerable a where
- universeBounded :: (Enum a, Bounded a) => [a]
- newtype Enumerated a = Enumerated {
- unEnumerated :: a
Documentation
class Enumerable a where Source #
Finitely enumerable things
Minimal complete definition
Instances
| Enumerable Bool Source # | |
Defined in Algebra.Enumerable | |
| Enumerable Int Source # | |
Defined in Algebra.Enumerable | |
| Enumerable () Source # | |
Defined in Algebra.Enumerable | |
| Enumerable a => Enumerable (Maybe a) Source # | |
Defined in Algebra.Enumerable | |
| Enumerable a => Enumerable (Enumerated a) Source # | |
Defined in Algebra.Enumerable Methods universe :: [Enumerated a] Source # | |
| (Enumerable a, Enumerable b) => Enumerable (Either a b) Source # | |
Defined in Algebra.Enumerable | |
| (Enumerable a, Enumerable b) => Enumerable (a, b) Source # | |
Defined in Algebra.Enumerable | |
universeBounded :: (Enum a, Bounded a) => [a] Source #
newtype Enumerated a Source #
Wrapper used to mark where we expect to use the fact that something is Enumerable
Constructors
| Enumerated | |
Fields
| |
Instances
| Eq a => Eq (Enumerated a) Source # | |
Defined in Algebra.Enumerable | |
| Ord a => Ord (Enumerated a) Source # | |
Defined in Algebra.Enumerable Methods compare :: Enumerated a -> Enumerated a -> Ordering # (<) :: Enumerated a -> Enumerated a -> Bool # (<=) :: Enumerated a -> Enumerated a -> Bool # (>) :: Enumerated a -> Enumerated a -> Bool # (>=) :: Enumerated a -> Enumerated a -> Bool # max :: Enumerated a -> Enumerated a -> Enumerated a # min :: Enumerated a -> Enumerated a -> Enumerated a # | |
| Enumerable a => Enumerable (Enumerated a) Source # | |
Defined in Algebra.Enumerable Methods universe :: [Enumerated a] Source # | |