monoids-0.1.25: Monoids, specialized containers and a general map/reduce framework
Source code
Contents
Index
Data.Ring.Semi
Portability
non-portable (MPTCs)
Stability
experimental
Maintainer
ekmett@gmail.com
Description
Synopsis
module
Data.Ring.Semi.Near
class
(
RightSemiNearRing
a,
LeftSemiNearRing
a) =>
SemiRing
a
Documentation
module
Data.Ring.Semi.Near
class
(
RightSemiNearRing
a,
LeftSemiNearRing
a) =>
SemiRing
a
Source
A
SemiRing
is an instance of both
Multiplicative
and
Monoid
where
times
distributes over
plus
.
Instances
SemiRing
BoolRing
SemiRing
Natural
SemiRing
r =>
SemiRing
(
Dual
r)
SemiRing
r =>
SemiRing
(
Self
r)
SemiRing
r =>
SemiRing
(
FromString
r)
Ord
a =>
SemiRing
(
Priority
a)
(
Bounded
a,
Ord
a) =>
SemiRing
(
Order
a)
(
Ord
a,
Num
a) =>
SemiRing
(
Tropical
a)
Num
a =>
SemiRing
(
FromNum
a)
SemiRing
r =>
SemiRing
(
ReducedBy
r s)
(
Modular
s a,
Integral
a) =>
SemiRing
(
Mod
a s)
(
SemiRing
r,
Module
r m) =>
SemiRing
(
D
s r m)
Produced by
Haddock
version 2.4.2