lattices-1.5.0: Fine-grained library for constructing and manipulating lattices

Copyright(C) 2010-2015 Maximilian Bolingbroke
LicenseBSD-3-Clause (see the file LICENSE)
MaintainerOleg Grenrus <oleg.grenrus@iki.fi>
Safe HaskellSafe
LanguageHaskell2010

Algebra.Enumerable

Description

Deprecated: Use Data.Universe.Class

Synopsis

Documentation

class Enumerable a where #

Finitely enumerable things

Minimal complete definition

universe

Methods

universe :: [a] #

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)] #

universeBounded :: (Enum a, Bounded a) => [a] #

newtype Enumerated a #

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

Constructors

Enumerated 

Fields

Instances