Trait ErrorTypeProvider

pub trait ErrorTypeProvider<Context>: IsProviderFor<ErrorTypeProviderComponent, Context, ()> {
    type Error: Debug;
}

This is used for contexts to declare that they have a unique Self::Error type.

Although it is possible for each context to declare their own associated Error type, doing so may result in having multiple ambiguous Self::Error types, if there are multiple associated types with the same name in different traits.

As a result, it is better for context traits to include HasError as their parent traits, so that multiple traits can all refer to the same abstract Self::Error type.

The Error associated type is also required to implement Debug. This is to allow Self::Error to be used in calls like .unwrap(), as well as for simpler error logging.

More details about how to use HasErrorType is available at https://patterns.contextgeneric.dev/error-handling.html

Required Associated Types

type Error: Debug

Implementations on Foreign Types

impl<Context> ErrorTypeProvider<Context> for UseContext

where Context: HasErrorType,

This is used for contexts to declare that they have a unique Self::Error type.

Although it is possible for each context to declare their own associated Error type, doing so may result in having multiple ambiguous Self::Error types, if there are multiple associated types with the same name in different traits.

As a result, it is better for context traits to include HasError as their parent traits, so that multiple traits can all refer to the same abstract Self::Error type.

The Error associated type is also required to implement Debug. This is to allow Self::Error to be used in calls like .unwrap(), as well as for simpler error logging.

More details about how to use HasErrorType is available at https://patterns.contextgeneric.dev/error-handling.html

type Error = <Context as HasErrorType>::Error

impl<Error, Context> ErrorTypeProvider<Context> for UseType<Error>

where Error: Debug,

type Error = Error

impl<__Provider__, Context> ErrorTypeProvider<Context> for WithProvider<__Provider__>

where __Provider__: ProvideType<Context, ErrorTypeProviderComponent>, __Provider__::Type: Debug,

type Error = <__Provider__ as ProvideType<Context, ErrorTypeProviderComponent>>::Type

Implementors

impl<Component, Context> ErrorTypeProvider<Context> for Component

where Component: DelegateComponent<ErrorTypeProviderComponent> + IsProviderFor<ErrorTypeProviderComponent, Context, ()>, Component::Delegate: ErrorTypeProvider<Context>,

This is used for contexts to declare that they have a unique Self::Error type.

Although it is possible for each context to declare their own associated Error type, doing so may result in having multiple ambiguous Self::Error types, if there are multiple associated types with the same name in different traits.

As a result, it is better for context traits to include HasError as their parent traits, so that multiple traits can all refer to the same abstract Self::Error type.

The Error associated type is also required to implement Debug. This is to allow Self::Error to be used in calls like .unwrap(), as well as for simpler error logging.

More details about how to use HasErrorType is available at https://patterns.contextgeneric.dev/error-handling.html

type Error = <<Component as DelegateComponent<ErrorTypeProviderComponent>>::Delegate as ErrorTypeProvider<Context>>::Error