Trait ListTypeIteratorAdvance 

pub trait ListTypeIteratorAdvance<P>: Sized + List
where
    P: ListTypeProperty,
{
    // Required method
    fn advancer<R>(
        iter: &mut ListTypeIterator<R, P>,
    ) -> Option<<P as ListTypeProperty>::Output>
       where R: List;
}

Advance function provider used by ListTypeIterator.

Required Methods

fn advancer<R>( iter: &mut ListTypeIterator<R, P>, ) -> Option<<P as ListTypeProperty>::Output>

where R: List,

Advance the iterator, returning the next property value.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<P, H, T> ListTypeIteratorAdvance<P> for (H, T)

where P: ListTypeProperty, H: 'static, T: ListTypeIteratorAdvance<P>,

fn advancer<R>( iter: &mut ListTypeIterator<R, P>, ) -> Option<<P as ListTypeProperty>::Output>

where R: List,

impl<P> ListTypeIteratorAdvance<P> for ()

where P: ListTypeProperty,

fn advancer<R>( _iter: &mut ListTypeIterator<R, P>, ) -> Option<<P as ListTypeProperty>::Output>

where R: List,

Implementors

impl<P, H, T> ListTypeIteratorAdvance<P> for CStackList<H, T>

where P: ListTypeProperty, H: 'static, T: ListTypeIteratorAdvance<P> + CStackListHeadLimit,

impl<T, P> ListTypeIteratorAdvance<P> for CNil<T>

where T: CStackListHeadLimit, P: ListTypeProperty,