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

Documentation

class Enumerable a where #

Finitely enumerable things

Minimal complete definition

Methods

Instances

Enumerable Bool #
Methods universe :: [Bool] #
Enumerable Int #
Methods universe :: [Int] #
Enumerable () #
Methods universe :: [()] #
Enumerable a => Enumerable (Maybe a) #
Methods universe :: [Maybe a] #
Enumerable a => Enumerable (Enumerated a) #
Methods universe :: [Enumerated a] #
(Enumerable a, Enumerable b) => Enumerable (Either a b) #
Methods universe :: [Either a b] #
(Enumerable a, Enumerable b) => Enumerable (a, b) #
Methods universe :: [(a, b)] #

Wrapper used to mark where we expect to use the fact that something is Enumerable

Constructors

Enumerated
Fields unEnumerated :: a

Instances

Eq a => Eq (Enumerated a) #
Methods (==) :: Enumerated a -> Enumerated a -> Bool # (/=) :: Enumerated a -> Enumerated a -> Bool #
Ord a => Ord (Enumerated a) #
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) #
Methods universe :: [Enumerated a] #