pub struct VerificationSummary {
pub label: String,
pub tail: Option<String>,
}Expand description
ReviewRound::verification_summary’s output: the facts, pre-worded, for
a prompt or report to place under its own heading. Kept as two pieces
rather than one pre-joined string so a caller that wants to insert its own
note between the label and the raw command tail (see prompt::review) can
do so without re-parsing text back apart.
Fields§
§label: StringRound, commit, freshness and result — always present.
tail: Option<String>Raw $ command / output tail, present for result: FAILED and for
a resource-blocked attempt (naming the operation magi was waiting on,
even though nothing finished) — absent for every other result, which
has nothing to add past the label.
Trait Implementations§
Source§impl Clone for VerificationSummary
impl Clone for VerificationSummary
Auto Trait Implementations§
impl Freeze for VerificationSummary
impl RefUnwindSafe for VerificationSummary
impl Send for VerificationSummary
impl Sync for VerificationSummary
impl Unpin for VerificationSummary
impl UnsafeUnpin for VerificationSummary
impl UnwindSafe for VerificationSummary
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more