Trait cfx_storage::utils::tuple::OfElementSatisfiesOnTuple

pub trait OfElementSatisfiesOnTuple<ConcernedTuple, ElementConstrain: ?Sized>: TupleIndex + Sized {
    type ElementType: ElementSatisfy<ElementConstrain> + ?Sized;

    // Required methods
    fn getter_for_tuple(
        t: &ConcernedTuple
    ) -> &dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>;
    fn getter_for_tuple_mut(
        t: &mut ConcernedTuple
    ) -> &mut dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>;
}

Trait on Index, meaning that the element at Index for ConcernedTuple satisfies ElementConstrain.

Required Associated Types

type ElementType: ElementSatisfy<ElementConstrain> + ?Sized

Required Methods

fn getter_for_tuple( t: &ConcernedTuple ) -> &dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>

fn getter_for_tuple_mut( t: &mut ConcernedTuple ) -> &mut dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>

Object Safety

This trait is not object safe.

Implementors

impl<Index: TupleIndex, ElementConstrain: ElementConstrainMark + ?Sized, ElementType: ElementSatisfy<ElementConstrain> + ?Sized, ConcernedTuple: TupleGetIndexExt<Self, ElementType = ElementType>> OfElementSatisfiesOnTuple<ConcernedTuple, ElementConstrain> for Index

type ElementType = ElementType