Minilib.Trait.Monoid
Defined in minilib-monad@0.11.5
Monoid trait and its several implementations (Array, Iterator, String etc).
Monoid is a semigroup with an identity.
For details, see Wikipedia: Monoid.
Values
namespace Minilib.Trait.Monoid
mconcat
Type: [a : Minilib.Trait.Monoid::Monoid, i : Std::Iterator, Std::Iterator::Item i = a] i -> a
Concats an iterator of monoids to a monoid.
namespace Minilib.Trait.Monoid::MEmpty
mempty
Type: [a : Minilib.Trait.Monoid::MEmpty] a
Trait member of Minilib.Trait.Monoid::MEmpty
An identity of a monoid, such as an empty instance.
Types and aliases
Traits and aliases
namespace Minilib.Trait.Monoid
trait a : MEmpty
A trait that represents an identity of a monoid.
method mempty
Type: a
An identity of a monoid, such as an empty instance.
trait Monoid = Minilib.Trait.Semigroup::Semigroup + Minilib.Trait.Monoid::MEmpty
Kind: *
A trait that represents a monoid.