Data.Monoid.Ord

Max

newtype Max a

The Monoid (max,minBound)

Constructors

Max

Fields

getMax :: a

Instances

Functor Max

(Ord a, Bounded a) => Reducer a (Max a)

Bounded a => Bounded (Max a)

Eq a => Eq (Max a)

Ord a => Ord (Max a)

Read a => Read (Max a)

Show a => Show (Max a)

(Ord a, Bounded a) => Monoid (Max a)

Min

newtype Min a

The Monoid given by (min,maxBound)

Constructors

Min

Fields

getMin :: a

Instances

Functor Min

(Ord a, Bounded a) => Reducer a (Min a)

Bounded a => Bounded (Min a)

Eq a => Eq (Min a)

Ord a => Ord (Min a)

Read a => Read (Min a)

Show a => Show (Min a)

(Ord a, Bounded a) => Monoid (Min a)

MaxPriority: Max semigroup w/ added bottom

newtype MaxPriority a

The Monoid (max,Nothing) over Maybe a where Nothing is the bottom element

Constructors

MaxPriority

Fields

getMaxPriority :: Maybe a

Instances

Functor MaxPriority

Eq a => Eq (MaxPriority a)

Ord a => Ord (MaxPriority a)

Read a => Read (MaxPriority a)

Show a => Show (MaxPriority a)

Ord a => Monoid (MaxPriority a)

Ord a => Reducer (Maybe a) (MaxPriority a)

minfinity :: MaxPriority a

MinPriority: Min semigroup w/ added top

newtype MinPriority a

The Monoid (min,Nothing) over Maybe a where Nothing is the top element

Constructors

MinPriority

Fields

getMinPriority :: Maybe a

Instances

Functor MinPriority

Eq a => Eq (MinPriority a)

Ord a => Ord (MinPriority a)

Read a => Read (MinPriority a)

Show a => Show (MinPriority a)

Ord a => Monoid (MinPriority a)

Ord a => Reducer (Maybe a) (MinPriority a)

infinity :: MinPriority a