[][src]Trait higher_cat::Comonad

pub trait Comonad<A, B>: Extend<A, B> + Extract<A> { }

A Comonad is the opposite of a Monad, and also anything which implements Extend and Extract.

Implementors

impl<W, A, B> Comonad<A, B> for W where
    W: Extend<A, B> + Extract<A>, 
[src]

Loading content...