pub trait RHListAppendRet<Env, T>: RHList<Env>
where Env: TxEnv, T: RHListItem<Env, Self::OriginalResult>,
{ type RetOutput: RHList<Env, OriginalResult = Self::OriginalResult>; // Required method fn append_ret(self, t: T) -> Self::RetOutput; }

Required Associated Types§

source

type RetOutput: RHList<Env, OriginalResult = Self::OriginalResult>

Required Methods§

source

fn append_ret(self, t: T) -> Self::RetOutput

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl<Env, T> RHListAppendRet<Env, T> for ()
where Env: TxEnv, T: RHListItem<Env, ()>,

§

type RetOutput = ConsRet<Env, T, ()>

source§

fn append_ret(self, t: T) -> <() as RHListAppendRet<Env, T>>::RetOutput

Implementors§

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>,

§

type RetOutput = ConsNoRet<Env, Head, <Tail as RHListAppendRet<Env, T>>::RetOutput>

source§

impl<Env, Head, Tail, T> RHListAppendRet<Env, T> for ConsRet<Env, Head, Tail>
where Env: TxEnv, Head: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult>, Tail: RHList<Env> + RHListAppendRet<Env, T>, T: RHListItem<Env, <Tail as TxResultHandler<Env>>::OriginalResult>,

§

type RetOutput = ConsRet<Env, Head, <Tail as RHListAppendRet<Env, T>>::RetOutput>

source§

impl<Env, O, T> RHListAppendRet<Env, T> for OriginalResultMarker<O>
where Env: TxEnv, T: RHListItem<Env, O>,