Trait Consume 

pub trait Consume<Op: IOWord> {
    type Output: List;
}

Emptying an IOPattern using an IOWord. This assumes that it is working with a list in head-normal form (i.e. the first element cannot be merged with the immediately following list). All lists that have been normalized are in head-normal form.

Required Associated Types

type Output: List

The output of the consumption

Implementors

impl<N, T: List> Consume<Absorb<UTerm>> for Cons<Absorb<N>, T>

where N: Unsigned,

type Output = Cons<Absorb<N>, T>

impl<N, T: List> Consume<Squeeze<UTerm>> for Cons<Squeeze<N>, T>

where N: Unsigned,

type Output = Cons<Squeeze<N>, T>

impl<U, B, N, T> Consume<Absorb<UInt<U, B>>> for Cons<Absorb<N>, T>

where U: Unsigned, B: Bit, N: Unsigned + Sub<UInt<U, B>>, T: List, Cons<Absorb<Diff<N, UInt<U, B>>>, T>: Normalize,

type Output = <Cons<Absorb<<N as Sub<UInt<U, B>>>::Output>, T> as Normalize>::Output

impl<U, B, N, T> Consume<Squeeze<UInt<U, B>>> for Cons<Squeeze<N>, T>

where U: Unsigned, B: Bit, N: Unsigned + Sub<UInt<U, B>>, T: List, Cons<Squeeze<Diff<N, UInt<U, B>>>, T>: Normalize,

type Output = <Cons<Squeeze<<N as Sub<UInt<U, B>>>::Output>, T> as Normalize>::Output