AnnotatedSemigroup

semigroup

Trait AnnotatedSemigroup 

Source 
pub trait AnnotatedSemigroup<A>: Sized + Semigroup {
    // Required method
    fn annotated_op_assign(
        base: Annotated<&mut Self, &mut A>,
        other: Annotated<Self, A>,
    );

    // Provided method
    fn annotated_op(
        base: Annotated<Self, A>,
        other: Annotated<Self, A>,
    ) -> Annotated<Self, A> { ... }
}
Expand description

AnnotatedSemigroup is a Semigroup that has an annotation, such as crate::Annotate.

Required Methods§

Source

fn annotated_op_assign( base: Annotated<&mut Self, &mut A>, other: Annotated<Self, A>, )

Provided Methods§

Source

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§