Struct transient::Co

pub struct Co<'a>(/* private fields */);

Used to declare an covariant relationship between a type and its lifetime parameter.

A covariant type is one for which the compiler can safely shorten its lifetime parameter as needed when passing it to a function; for example, &'a T is covariant w.r.t. 'a, so &'static str can be used where &'short str is expected.

See the Transience documentation for more information.

Trait Implementations

impl<'a> Clone for Co<'a>

fn clone(&self) -> Co<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Co<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, R> CanRecoverFrom<(R,)> for Co<'a>

where Co<'a>: CanRecoverFrom<R>,

impl<'a, R1, R2> CanRecoverFrom<(R1, R2)> for Co<'a>

where Co<'a>: CanRecoverFrom<R1> + CanRecoverFrom<R2>,

impl<'a, R1, R2, R3> CanRecoverFrom<(R1, R2, R3)> for Co<'a>

where Co<'a>: CanRecoverFrom<R1> + CanRecoverFrom<R2> + CanRecoverFrom<R3>,

impl<'a, R1, R2, R3, R4> CanRecoverFrom<(R1, R2, R3, R4)> for Co<'a>

where Co<'a>: CanRecoverFrom<R1> + CanRecoverFrom<R2> + CanRecoverFrom<R3> + CanRecoverFrom<R4>,

impl<'a, R> CanRecoverFrom<Co<'a>> for (R,)

where R: CanRecoverFrom<Co<'a>>,

impl<'a, R1, R2> CanRecoverFrom<Co<'a>> for (R1, R2)

where R1: CanRecoverFrom<Co<'a>>, R2: CanRecoverFrom<Co<'a>>,

impl<'a, R1, R2, R3> CanRecoverFrom<Co<'a>> for (R1, R2, R3)

where R1: CanRecoverFrom<Co<'a>>, R2: CanRecoverFrom<Co<'a>>, R3: CanRecoverFrom<Co<'a>>,

impl<'a, R1, R2, R3, R4> CanRecoverFrom<Co<'a>> for (R1, R2, R3, R4)

where R1: CanRecoverFrom<Co<'a>>, R2: CanRecoverFrom<Co<'a>>, R3: CanRecoverFrom<Co<'a>>, R4: CanRecoverFrom<Co<'a>>,

impl<'a, 'b: 'a> CanRecoverFrom<Co<'b>> for Co<'a>

impl<'a, 'b: 'a> CanRecoverFrom<Co<'b>> for Inv<'a>

impl<'a> CanRecoverFrom<Inv<'a>> for Co<'a>

impl<'a, R> CanTranscendTo<(R,)> for Co<'a>

where Co<'a>: CanTranscendTo<R>,

impl<'a, R1, R2> CanTranscendTo<(R1, R2)> for Co<'a>

where Co<'a>: CanTranscendTo<R1> + CanTranscendTo<R2>,

impl<'a, R1, R2, R3> CanTranscendTo<(R1, R2, R3)> for Co<'a>

where Co<'a>: CanTranscendTo<R1> + CanTranscendTo<R2> + CanTranscendTo<R3>,

impl<'a, R1, R2, R3, R4> CanTranscendTo<(R1, R2, R3, R4)> for Co<'a>

where Co<'a>: CanTranscendTo<R1> + CanTranscendTo<R2> + CanTranscendTo<R3> + CanTranscendTo<R4>,

impl<'a, R> CanTranscendTo<Co<'a>> for (R,)

where R: CanTranscendTo<Co<'a>>,

impl<'a, R1, R2> CanTranscendTo<Co<'a>> for (R1, R2)

where R1: CanTranscendTo<Co<'a>>, R2: CanTranscendTo<Co<'a>>,

impl<'a, R1, R2, R3> CanTranscendTo<Co<'a>> for (R1, R2, R3)

where R1: CanTranscendTo<Co<'a>>, R2: CanTranscendTo<Co<'a>>, R3: CanTranscendTo<Co<'a>>,

impl<'a, R1, R2, R3, R4> CanTranscendTo<Co<'a>> for (R1, R2, R3, R4)

where R1: CanTranscendTo<Co<'a>>, R2: CanTranscendTo<Co<'a>>, R3: CanTranscendTo<Co<'a>>, R4: CanTranscendTo<Co<'a>>,

impl<'a, 'b: 'a> CanTranscendTo<Co<'a>> for Co<'b>

impl<'a, 'b: 'a> CanTranscendTo<Inv<'a>> for Co<'b>

impl<'a> Copy for Co<'a>

impl<'a> Transience for Co<'a>