Semiring

Documentation

class Monoid m => Semiring m where

Minimal complete definition

one, (<.>)

Methods

one :: m

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

zero :: Monoid m => m

Alias for mempty