Trait NodeInsert 

pub trait NodeInsert<Cap, Depth, Nib: Nibble> {
    type Out;
}

Insert capability into Node16 at specific nibble position

Required Associated Types

type Out

Implementors

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X0> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N0: InsertAt<Cap, S<Depth>>,

type Out = Node16<<N0 as InsertAt<Cap, S<Depth>>>::Out, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X1> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N1: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, <N1 as InsertAt<Cap, S<Depth>>>::Out, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X2> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N2: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, <N2 as InsertAt<Cap, S<Depth>>>::Out, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X3> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N3: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, <N3 as InsertAt<Cap, S<Depth>>>::Out, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X4> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N4: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, <N4 as InsertAt<Cap, S<Depth>>>::Out, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X5> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N5: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, <N5 as InsertAt<Cap, S<Depth>>>::Out, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X6> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N6: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, <N6 as InsertAt<Cap, S<Depth>>>::Out, N7, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X7> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N7: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, <N7 as InsertAt<Cap, S<Depth>>>::Out, N8, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X8> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N8: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, <N8 as InsertAt<Cap, S<Depth>>>::Out, N9, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, X9> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, N9: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, <N9 as InsertAt<Cap, S<Depth>>>::Out, NA, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, XA> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, NA: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, <NA as InsertAt<Cap, S<Depth>>>::Out, NB, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, XB> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, NB: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, <NB as InsertAt<Cap, S<Depth>>>::Out, NC, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, XC> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, NC: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, <NC as InsertAt<Cap, S<Depth>>>::Out, ND, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, XD> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, ND: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, <ND as InsertAt<Cap, S<Depth>>>::Out, NE, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, XE> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, NE: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, <NE as InsertAt<Cap, S<Depth>>>::Out, NF>

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> NodeInsert<Cap, Depth, XF> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

where Cap: Capability, Depth: Peano, NF: InsertAt<Cap, S<Depth>>,

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, <NF as InsertAt<Cap, S<Depth>>>::Out>