Protolude.Semiring

Documentation

class Monoid m => Semiring m where

Methods

one :: m

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

zero :: Monoid m => m

Alias for mempty