Trait RHListAppendRet

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

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

Required Methods

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<Env, T> RHListAppendRet<Env, T> for ()

where Env: TxEnv, T: RHListItem<Env, ()>,

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

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

Implementors

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>

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>

impl<Env, O, T> RHListAppendRet<Env, T> for OriginalResultMarker<O>

where Env: TxEnv, T: RHListItem<Env, O>,

type RetOutput = ConsRet<Env, T, OriginalResultMarker<O>>