Trait ResultExt 

pub trait ResultExt {
    type Context: ?Sized;
    type Ok;

    // Required methods
    fn attach<A>(self, attachment: A) -> Result<Self::Ok, Report<Self::Context>>
       where A: Attachment;
    fn attach_with<A, F>(
        self,
        attachment: F,
    ) -> Result<Self::Ok, Report<Self::Context>>
       where A: Attachment,
             F: FnOnce() -> A;
    fn attach_opaque<A>(
        self,
        attachment: A,
    ) -> Result<Self::Ok, Report<Self::Context>>
       where A: OpaqueAttachment;
    fn attach_opaque_with<A, F>(
        self,
        attachment: F,
    ) -> Result<Self::Ok, Report<Self::Context>>
       where A: OpaqueAttachment,
             F: FnOnce() -> A;
    fn change_context<C>(self, context: C) -> Result<Self::Ok, Report<C>>
       where C: Error + Send + Sync + 'static;
    fn change_context_lazy<C, F>(
        self,
        context: F,
    ) -> Result<Self::Ok, Report<C>>
       where C: Error + Send + Sync + 'static,
             F: FnOnce() -> C;
}

Extension trait for Result to provide context information on Reports.

Required Associated Types

type Context: ?Sized

The context type of the Result which becomes the C in Report<C>.

type Ok

Type of the Ok value in the Result.

Required Methods

fn attach<A>(self, attachment: A) -> Result<Self::Ok, Report<Self::Context>>

where A: Attachment,

Adds a new printable attachment to the Report inside the Result.

Applies Report::attach on the Err variant, refer to it for more information.

fn attach_with<A, F>( self, attachment: F, ) -> Result<Self::Ok, Report<Self::Context>>

where A: Attachment, F: FnOnce() -> A,

Lazily adds a new printable attachment to the Report inside the Result.

Applies Report::attach on the Err variant, refer to it for more information.

fn attach_opaque<A>( self, attachment: A, ) -> Result<Self::Ok, Report<Self::Context>>

where A: OpaqueAttachment,

Adds a new attachment to the Report inside the Result.

Applies Report::attach_opaque on the Err variant, refer to it for more information.

fn attach_opaque_with<A, F>( self, attachment: F, ) -> Result<Self::Ok, Report<Self::Context>>

where A: OpaqueAttachment, F: FnOnce() -> A,

Lazily adds a new attachment to the Report inside the Result.

Applies Report::attach_opaque on the Err variant, refer to it for more information.

fn change_context<C>(self, context: C) -> Result<Self::Ok, Report<C>>

where C: Error + Send + Sync + 'static,

Changes the context of the Report inside the Result.

Applies Report::change_context on the Err variant, refer to it for more information.

fn change_context_lazy<C, F>(self, context: F) -> Result<Self::Ok, Report<C>>

where C: Error + Send + Sync + 'static, F: FnOnce() -> C,

Lazily changes the context of the Report inside the Result.

Applies Report::change_context on the Err variant, refer to it for more information.

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.

Implementations on Foreign Types

impl<T, E> ResultExt for Result<T, E>

where E: IntoReport,

type Context = <E as IntoReport>::Context

type Ok = T

fn attach<A>(self, attachment: A) -> Result<T, Report<E::Context>>

where A: Attachment,

fn attach_with<A, F>(self, attachment: F) -> Result<T, Report<E::Context>>

where A: Attachment, F: FnOnce() -> A,

fn attach_opaque<A>(self, attachment: A) -> Result<T, Report<E::Context>>

where A: OpaqueAttachment,

fn attach_opaque_with<A, F>( self, attachment: F, ) -> Result<T, Report<E::Context>>

where A: OpaqueAttachment, F: FnOnce() -> A,

fn change_context<C>(self, context: C) -> Result<T, Report<C>>

where C: Error + Send + Sync + 'static,

fn change_context_lazy<C, F>(self, context: F) -> Result<T, Report<C>>

where C: Error + Send + Sync + 'static, F: FnOnce() -> C,

Implementors