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 Source

Finitely enumerable things

Methods

universe :: [a] Source

newtype Enumerated a Source

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

Constructors

Enumerated 

Fields