monoids-0.1.17: 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 Ord a => SemiRing (Priority a) (Bounded a, Ord a) => SemiRing (Order a) (Ord a, Num a) => SemiRing (Tropical a) Num a => SemiRing (FromNum a) (Modular s a, Integral a) => SemiRing (Mod a s) (SemiRing r, Module r m) => SemiRing (D r m)

Produced by Haddock version 2.4.1