Trait comonoid::Comonoid [−] [src]

pub trait Comonoid {
    fn counit(self);
    fn comult(self) -> (Self, Self);
}

A comonoid in a monoidal category is a monoid in the dual category.

It is useful within Rust's ownership type system, representing an object that can be both cloned and destroyed.

Required Methods

fn counit(self)

fn comult(self) -> (Self, Self)

Implementors