Trait Brand2

pub trait Brand2<Concrete, A, B>
where
    Self: Kind<(A, B)>,
{
    // Required methods
    fn inject(a: Concrete) -> Apply<Self, (A, B)>;
    fn project(a: Apply<Self, (A, B)>) -> Concrete;
}

Brand trait for types with kind "* -> * -> *".

Required Methods

fn inject(a: Concrete) -> Apply<Self, (A, B)>

fn project(a: Apply<Self, (A, B)>) -> Concrete

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