noether-0.0.1: Math in Haskell.

Safe HaskellSafe
LanguageHaskell2010

Lemmata.Semiring

Synopsis

Documentation

class Monoid m => Semiring m where Source #

Minimal complete definition

one, (<.>)

Methods

one :: m Source #

(<.>) :: m -> m -> m Source #

zero :: Monoid m => m Source #

Alias for mempty