Trait Takeable 

pub trait Takeable {
    type Out;
}

Required Associated Types

type Out

Implementations on Foreign Types

impl Takeable for (Empty, U0)

type Out = List<()>

impl<H, T> Takeable for (List<(H, T)>, U0)

type Out = List<()>

impl<H, T, U, B> Takeable for (List<(H, T)>, UInt<U, B>)

where U: Unsigned, B: Bit, UInt<U, B>: Sub<U1>, (T, <UInt<U, B> as Sub<U1>>::Output): Takeable, (List<(H, Empty)>, <(T, <UInt<U, B> as Sub<U1>>::Output) as Takeable>::Out): Mappend,

type Out = <(List<(H, List<()>)>, <(T, <UInt<U, B> as Sub<UInt<UTerm, B1>>>::Output) as Takeable>::Out) as Mappend>::Out

impl<U, B> Takeable for (Empty, UInt<U, B>)

where U: Unsigned, B: Bit,

type Out = List<()>

Implementors