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

Algebra.Enumerable

Synopsis

# Documentation

class Enumerable a whereSource

Finitely enumerable things

Methods

universe :: [a]Source

Instances

 Enumerable Bool Enumerable Int Enumerable () Enumerable a => Enumerable (Maybe a) Enumerable a => Enumerable (Enumerated a) (Enumerable a, Enumerable b) => Enumerable (Either a b) (Enumerable a, Enumerable b) => Enumerable (a, b)

newtype Enumerated a Source

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

Constructors

 Enumerated FieldsunEnumerated :: a

Instances

 Eq a => Eq (Enumerated a) (Eq (Enumerated a), Ord a) => Ord (Enumerated a) Enumerable a => Enumerable (Enumerated a) (Lattice (Set (Enumerated a)), BoundedJoinSemiLattice (Set (Enumerated a)), BoundedMeetSemiLattice (Set (Enumerated a)), Ord a, Enumerable a) => BoundedLattice (Set (Enumerated a)) (MeetSemiLattice (Set (Enumerated a)), Ord a, Enumerable a) => BoundedMeetSemiLattice (Set (Enumerated a)) (JoinSemiLattice (Set (Enumerated a)), MeetSemiLattice (Set (Enumerated a)), Ord a, Enumerable a) => Lattice (Set (Enumerated a)) (Ord a, Enumerable a) => MeetSemiLattice (Set (Enumerated a)) (Lattice (Map (Enumerated k) v), BoundedJoinSemiLattice (Map (Enumerated k) v), BoundedMeetSemiLattice (Map (Enumerated k) v), Ord k, Enumerable k, BoundedLattice v) => BoundedLattice (Map (Enumerated k) v) (MeetSemiLattice (Map (Enumerated k) v), Ord k, Enumerable k, BoundedMeetSemiLattice v) => BoundedMeetSemiLattice (Map (Enumerated k) v) (JoinSemiLattice (Map (Enumerated k) v), MeetSemiLattice (Map (Enumerated k) v), Ord k, Enumerable k, Lattice v) => Lattice (Map (Enumerated k) v) (Ord k, Enumerable k, MeetSemiLattice v) => MeetSemiLattice (Map (Enumerated k) v)