Trait Monoid1L0T 

pub trait Monoid1L0T: Semigroup1L0T
where
    for<'a> Apply1L0T<'a, Self>: Monoid<'a>,
{ }

A higher-kinded Monoid, abstracting over the lifetime parameter.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Monoid1L0T for String

impl<A: Clone> Monoid1L0T for Vec<A>

Implementors

impl<CategoryBrand: 'static + Category, A: 'static> Monoid1L0T for EndomorphismBrand<CategoryBrand, A>

where for<'a> Apply1L2T<'a, CategoryBrand, A, A>: Clone,

impl<ClonableFnBrand: 'static + ClonableFn, A: 'static> Monoid1L0T for EndofunctionBrand<ClonableFnBrand, A>

where for<'a> ApplyFn<'a, ClonableFnBrand, A, A>: Clone,