lattices-1.7: 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

Minimal complete definition

universe

Methods

universe :: [a] Source #

Instances

newtype Enumerated a Source #

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

Constructors

Enumerated 

Fields