Trait Contract 

pub trait Contract {
    type Error: From<&'static str>;
    type WithPostInfo<T>;
    type Result<T, E>;

    // Required methods
    fn map_post<I, O>(
        v: Self::WithPostInfo<I>,
        mapper: impl FnOnce(I) -> O,
    ) -> Self::WithPostInfo<O>;
    fn with_default_post<T>(v: T) -> Self::WithPostInfo<T>;
}

Contract configuration

Required Associated Types

type Error: From<&'static str>

Contract error type

type WithPostInfo<T>

Wrapper for Result Ok/Err value

type Result<T, E>

Return value of Callable, expected to be of core::result::Result type

Required Methods

fn map_post<I, O>( v: Self::WithPostInfo<I>, mapper: impl FnOnce(I) -> O, ) -> Self::WithPostInfo<O>

Map WithPostInfo value

fn with_default_post<T>(v: T) -> Self::WithPostInfo<T>

Wrap value with default post info

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors