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

Finitely enumerable things

Methods

Instances

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

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