Struct comonoid::Comonoidal [−] [src]

pub struct Comonoidal<T>(_);

A newtype wrapper to make a comonoid out of any cloneable type.

Trait Implementations

`impl<T> From<T> for Comonoidal<T>`

`fn from(a: T) -> Comonoidal<T>`

`impl<T> AsRef<T> for Comonoidal<T>`

`fn as_ref(&self) -> &T`

`impl<T> AsMut<T> for Comonoidal<T>`

`fn as_mut(&mut self) -> &mut T`

`impl<T> Clone for Comonoidal<T> where T: Clone`

`fn clone(&self) -> Self`

`fn clone_from(&mut self, source: &Self)`

`impl<T> Comonoid for Comonoidal<T> where T: Clone`

`fn counit(self)`

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