monoids-0.1.28: Monoids, specialized containers and a general map/reduce framework
Source code
Contents
Index
Data.Monoid.Ord
Contents
Max
Min
MaxPriority: Max semigroup w/ added bottom
MinPriority: Min semigroup w/ added top
Synopsis
module
Data.Monoid.Reducer
newtype
Max
a =
Max
{
getMax
:: a
}
newtype
Min
a =
Min
{
getMin
:: a
}
newtype
MaxPriority
a =
MaxPriority
{
getMaxPriority
::
Maybe
a
}
minfinity
::
MaxPriority
a
newtype
MinPriority
a =
MinPriority
{
getMinPriority
::
Maybe
a
}
infinity
::
MinPriority
a
Documentation
module
Data.Monoid.Reducer
Max
newtype
Max
a
Source
The
Monoid
(
max
,
minBound
)
Constructors
Max
getMax
:: a
Instances
Functor
Max
Pointed
Max
Copointed
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
Source
The
Monoid
given by
(
min
,
maxBound
)
Constructors
Min
getMin
:: a
Instances
Functor
Min
Pointed
Min
Copointed
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
Source
The
Monoid
(
max
,
Nothing
)
over
Maybe
a
where
Nothing
is the bottom element
Constructors
MaxPriority
getMaxPriority
::
Maybe
a
Instances
Functor
MaxPriority
Pointed
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)
Ord
a =>
Reducer
(
MaxPriority
a) (
Priority
a)
minfinity
::
MaxPriority
a
Source
MinPriority: Min semigroup w/ added top
newtype
MinPriority
a
Source
The
Monoid
(
min
,
Nothing
)
over
Maybe
a
where
Nothing
is the top element
Constructors
MinPriority
getMinPriority
::
Maybe
a
Instances
Functor
MinPriority
Pointed
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)
Ord
a =>
Reducer
(
MinPriority
a) (
Priority
a)
Ord
a =>
Reducer
(
MinPriority
a) (
Tropical
a)
infinity
::
MinPriority
a
Source
Produced by
Haddock
version 2.4.2