Struct ReturnsHandledOrError

pub struct ReturnsHandledOrError<Env, Original, RawResult, NHList>
where
    Env: TxEnv,
    RawResult: ReturnsHandledOrErrorRawResult,
    NHList: RHList<Env>,
{
    pub nested_handlers: NHList,
    /* private fields */
}

Indicates that a Result will be returned, either:

• with the handled result, according to the nested result handlers,
• or with an error in case of a failed transaction.

Can be used:

• in contracts, via sync_call_fallible;
• in any tests or interactors.

Fields

nested_handlers: NHList

Implementations

impl<Env, Original, RawResult> ReturnsHandledOrError<Env, Original, RawResult, OriginalResultMarker<Original>>

where Env: TxEnv, RawResult: ReturnsHandledOrErrorRawResult,

pub fn new() -> ReturnsHandledOrError<Env, Original, RawResult, OriginalResultMarker<Original>>

impl<Env, Original, RawResult, NHList> ReturnsHandledOrError<Env, Original, RawResult, NHList>

where Env: TxEnv, RawResult: ReturnsHandledOrErrorRawResult, NHList: RHListExec<RawResult, Env>,

pub fn returns<RH>( self, item: RH, ) -> ReturnsHandledOrError<Env, Original, RawResult, <NHList as RHListAppendRet<Env, RH>>::RetOutput>

where RH: RHListItem<Env, <NHList as TxResultHandler<Env>>::OriginalResult>, NHList: RHListAppendRet<Env, RH>,

Specifies result handlers for success.

Trait Implementations

impl<Env, Original, RawResult> Default for ReturnsHandledOrError<Env, Original, RawResult, OriginalResultMarker<Original>>

where Env: TxEnv, RawResult: ReturnsHandledOrErrorRawResult,

fn default() -> ReturnsHandledOrError<Env, Original, RawResult, OriginalResultMarker<Original>>

Returns the “default value” for a type.

impl<Env, Original, RawResult, NHList> RHListItem<Env, Original> for ReturnsHandledOrError<Env, Original, RawResult, NHList>

where Env: TxEnv, RawResult: ReturnsHandledOrErrorRawResult, NHList: RHListExec<<RawResult as ReturnsHandledOrErrorRawResult>::SuccessResult, Env>, <NHList as RHList<Env>>::ListReturns: NestedTupleFlatten,

type Returns = Result<<<NHList as RHList<Env>>::ListReturns as NestedTupleFlatten>::Unpacked, <RawResult as ReturnsHandledOrErrorRawResult>::ErrorResult>

impl<Env, Original, NHList> RHListItemExec<SyncCallRawResultOrError<<Env as TxEnv>::Api>, Env, Original> for ReturnsHandledOrError<Env, Original, SyncCallRawResultOrError<<Env as TxEnv>::Api>, NHList>

where Env: TxEnv, NHList: RHListExec<SyncCallRawResult<<Env as TxEnv>::Api>, Env>, <NHList as RHList<Env>>::ListReturns: NestedTupleFlatten,

fn item_process_result( self, raw_result: &SyncCallRawResultOrError<<Env as TxEnv>::Api>, ) -> <ReturnsHandledOrError<Env, Original, SyncCallRawResultOrError<<Env as TxEnv>::Api>, NHList> as RHListItem<Env, Original>>::Returns

The main functionality of a result handler, it either does some computation internally (e.g. execution of a lambda function), or produces a result, or both.

fn item_preprocessing( &self, prev: <Env as TxEnv>::RHExpect, ) -> <Env as TxEnv>::RHExpect

Part of the execution pre-processing, each result handler needs to produce an “expect” field, as defined in the environment.

impl<Env, Original, NHList> RHListItemExec<TxResponse, Env, Original> for ReturnsHandledOrError<Env, Original, TxResponse, NHList>

where Env: TxEnv<RHExpect = TxExpect>, NHList: RHListExec<TxResponse, Env>, <NHList as RHList<Env>>::ListReturns: NestedTupleFlatten,

fn item_preprocessing(&self, prev: TxExpect) -> TxExpect

Part of the execution pre-processing, each result handler needs to produce an “expect” field, as defined in the environment.

fn item_process_result( self, raw_result: &TxResponse, ) -> <ReturnsHandledOrError<Env, Original, TxResponse, NHList> as RHListItem<Env, Original>>::Returns

The main functionality of a result handler, it either does some computation internally (e.g. execution of a lambda function), or produces a result, or both.