Trait RouteQuery 

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

Required Associated Types

type Out: Bool

Implementors

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N0 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N1 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N2 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N3 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N4 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N5 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N6 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N7 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N8 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <N9 as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <NA as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <NB as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <NC as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <ND as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <NE as EvalAt<Has<Cap>, S<Depth>>>::Out

impl<Cap, Depth, N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> RouteQuery<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: EvalAt<Has<Cap>, S<Depth>>,

type Out = <NF as EvalAt<Has<Cap>, S<Depth>>>::Out