Algebra.Enumerable

Documentation

class Enumerable a where

Finitely enumerable things

Methods

universe :: [a]

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)

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

unEnumerated :: 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)