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

Minimal complete definition

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 #