Trait AnnotatedSemigroup

pub trait AnnotatedSemigroup<A>: Sized + Semigroup {
    // Required method
    fn annotated_op(
        base: Annotated<Self, A>,
        other: Annotated<Self, A>,
    ) -> Annotated<Self, A>;
}

Required Methods§

fn annotated_op( base: Annotated<Self, A>, other: Annotated<Self, A>, ) -> Annotated<Self, A>

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.

Implementors§

§

impl<T, A> AnnotatedSemigroup<A> for Coalesce<T>

§

impl<T, A> AnnotatedSemigroup<A> for Concat<T>

§

impl<T, A> AnnotatedSemigroup<A> for Overwrite<T>