Semigroup1L0T

Trait Semigroup1L0T 

Source
pub trait Semigroup1L0T: Kind1L0T
where for<'a> Apply1L0T<'a, Self>: Semigroup<'a>,
{ }
Expand description

A higher-kinded Semigroup, 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§

Source§

impl Semigroup1L0T for String

Source§

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

Implementors§

Source§

impl<CategoryBrand: 'static + Category, A: 'static> Semigroup1L0T for EndomorphismBrand<CategoryBrand, A>
where for<'a> Apply1L2T<'a, CategoryBrand, A, A>: Clone,

Source§

impl<ClonableFnBrand: 'static + ClonableFn, A: 'static> Semigroup1L0T for EndofunctionBrand<ClonableFnBrand, A>
where for<'a> ApplyFn<'a, ClonableFnBrand, A, A>: Clone,