pub trait TransposableWitness<A>: Witness<A> {
    type Map<T>;
}
Expand description

Witness types that can be transposed with other witness wrapper types.

Required Associated Types§

source

type Map<T>

Maps the type wrapped by this witness.

Object Safety§

This trait is not object safe.

Implementors§