pub struct ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env>,{
pub head: Head,
pub tail: Tail,
/* private fields */
}Expand description
Handlers that return nothing.
Fields§
§head: Head§tail: TailTrait Implementations§
Source§impl<Env, Head, Tail> RHList<Env> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env>,
impl<Env, Head, Tail> RHList<Env> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env>,
type ListReturns = <Tail as RHList<Env>>::ListReturns
Source§impl<Env, Head, Tail, T> RHListAppendNoRet<Env, T> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env> + RHListAppendNoRet<Env, T>,
T: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
impl<Env, Head, Tail, T> RHListAppendNoRet<Env, T> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env> + RHListAppendNoRet<Env, T>,
T: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
type NoRetOutput = ConsNoRet<Env, Head, <Tail as RHListAppendNoRet<Env, T>>::NoRetOutput>
fn append_no_ret( self, t: T, ) -> <ConsNoRet<Env, Head, Tail> as RHListAppendNoRet<Env, T>>::NoRetOutput
Source§impl<Env, Head, Tail, T> RHListAppendRet<Env, T> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env> + RHListAppendRet<Env, T>,
T: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult>,
impl<Env, Head, Tail, T> RHListAppendRet<Env, T> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env> + RHListAppendRet<Env, T>,
T: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult>,
type RetOutput = ConsNoRet<Env, Head, <Tail as RHListAppendRet<Env, T>>::RetOutput>
fn append_ret( self, t: T, ) -> <ConsNoRet<Env, Head, Tail> as RHListAppendRet<Env, T>>::RetOutput
Source§impl<RawResult, Env, Head, Tail> RHListExec<RawResult, Env> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItemExec<RawResult, Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHListExec<RawResult, Env>,
impl<RawResult, Env, Head, Tail> RHListExec<RawResult, Env> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItemExec<RawResult, Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHListExec<RawResult, Env>,
Source§fn list_tx_expect(&self) -> <Env as TxEnv>::RHExpect
fn list_tx_expect(&self) -> <Env as TxEnv>::RHExpect
Provides the execution pre-processing, in which result handlers collectively produce an “expect” field. Read more
Source§fn list_process_result(
self,
raw_result: &RawResult,
) -> <ConsNoRet<Env, Head, Tail> as RHList<Env>>::ListReturns
fn list_process_result( self, raw_result: &RawResult, ) -> <ConsNoRet<Env, Head, Tail> as RHList<Env>>::ListReturns
Aggregates the executions of all result handlers, as configured for a transaction.
Source§impl<Env, Head, Tail> TxResultHandler<Env> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env>,
impl<Env, Head, Tail> TxResultHandler<Env> for ConsNoRet<Env, Head, Tail>where
Env: TxEnv,
Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult, Returns = ()>,
Tail: RHList<Env>,
type OriginalResult = <Tail as TxResultHandler<Env>>::OriginalResult
Auto Trait Implementations§
impl<Env, Head, Tail> Freeze for ConsNoRet<Env, Head, Tail>
impl<Env, Head, Tail> RefUnwindSafe for ConsNoRet<Env, Head, Tail>
impl<Env, Head, Tail> Send for ConsNoRet<Env, Head, Tail>
impl<Env, Head, Tail> Sync for ConsNoRet<Env, Head, Tail>
impl<Env, Head, Tail> Unpin for ConsNoRet<Env, Head, Tail>
impl<Env, Head, Tail> UnwindSafe for ConsNoRet<Env, Head, Tail>
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> 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> InterpretableFrom<T> for T
impl<T> InterpretableFrom<T> for T
fn interpret_from(from: T, _context: &InterpreterContext) -> T
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