Trait LiftNestedWrite 

pub trait LiftNestedWrite<ParentCv>: Sized {
    type Out;

    // Required method
    fn lift_nested(self) -> Self::Out;
}

Carries the error of a nested child repo’s write into the parent’s vocabulary: a rejection is lifted into the parent’s constraint violation, a fault passes through.

Required Associated Types

type Out

Required Methods

fn lift_nested(self) -> Self::Out

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<ChildCv, ParentCv> LiftNestedWrite<ParentCv> for RepoWriteError<ChildCv>

where ChildCv: Rejection, ParentCv: Rejection + Lift<ChildCv>, <ParentCv as Lift<ChildCv>>::Unmapped: UnmappedInto<Fatal>,

type Out = Fail<ParentCv, Profile<false, true, true>>

impl<ParentCv> LiftNestedWrite<ParentCv> for RepoFault

type Out = Fault<Profile<false, true, true>>