Struct ContAdj 

pub struct ContAdj<R>(/* private fields */);

Witness for the self-adjunction ContF<R> ⊣ ContF<R>.

This is the canonical contravariant adjunction. The composed functor ContF<R> . ContF<R> gives Of<A> = (A -> R) -> R, the continuation monad.

• unit(a) = |k| k(a) (embed a value into CPS)
• counit(b) = |k| k(b) (same operation — self-adjoint!)

Trait Implementations

impl<R> ContravariantAdjunction<ContF<R>, ContF<R>> for ContAdj<R>

where R: 'static,

Available on crate features std or alloc only.

fn unit<A>(a: A) -> Box<dyn Fn(Box<dyn Fn(A) -> R>) -> R>

where A: Clone + 'static,

unit: A -> G(F(A))

fn counit<B>(b: B) -> Box<dyn Fn(Box<dyn Fn(B) -> R>) -> R>

where B: Clone + 'static,

counit: B -> F(G(B))