Trait agnes::label::LookupElemByNat

pub trait LookupElemByNat<N> {
    type Elem;
    fn elem(&self) -> &Self::Elem;
}

Look up an element from a cons-list by typenum natural number.

Associated Types

type Elem

Type of looked-up element.

Loading content...

Required methods

fn elem(&self) -> &Self::Elem

Look up the element from this cons-list.

Loading content...

Implementors

impl<H, T> LookupElemByNat<UTerm> for Cons<H, T>

type Elem = H

fn elem(&self) -> &Self::Elem

impl<H, T> LookupElemByNat<UInt<UTerm, B1>> for Cons<H, T> where
    T: LookupElemByNat<UTerm>, 

type Elem = <T as LookupElemByNat<UTerm>>::Elem

fn elem(&self) -> &Self::Elem

impl<H, T, N> LookupElemByNat<UInt<N, B0>> for Cons<H, T> where
    N: Sub<B1>,
    T: LookupElemByNat<UInt<Sub1<N>, B1>>, 

type Elem = <T as LookupElemByNat<UInt<Sub1<N>, B1>>>::Elem

fn elem(&self) -> &Self::Elem

impl<H, T, N, B> LookupElemByNat<UInt<UInt<N, B>, B1>> for Cons<H, T> where
    T: LookupElemByNat<UInt<UInt<N, B>, B0>>, 

type Elem = <T as LookupElemByNat<UInt<UInt<N, B>, B0>>>::Elem

fn elem(&self) -> &Self::Elem

Loading content...