Empty

Struct Empty 

Source
pub struct Empty;
Expand description

Empty trie node (no capabilities)

Trait Implementations§

Source§

impl Default for Empty

Source§

fn default() -> Empty

Returns the “default value” for a type. Read more
Source§

impl<Cap, Depth> EvalAt<Has<Cap>, Depth> for Empty

Source§

impl<Cap, Depth> InsertAt<Cap, Depth> for Empty

Source§

type Out = Leaf<Cap>

Source§

impl Inspect for Empty

Source§

fn inspect<F: FnMut(&'static str)>(&self, _f: F)

Calls f for each capability in the set with its type name.
Source§

impl<C> LeafAndDispatch<C> for Empty

Source§

impl<L0, L1, L2, L3, L4, L5, L6, L7, L8, L9, LA, LB, LC, LD, LE, LF> NodeAndDispatch<L0, L1, L2, L3, L4, L5, L6, L7, L8, L9, LA, LB, LC, LD, LE, LF> for Empty

Source§

impl<Cap, Depth> RemoveAt<Cap, Depth> for Empty

Source§

impl<T> SetAnd<T> for Empty

Source§

impl<A> SetIntersect<Empty> for Leaf<A>

Source§

impl<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> SetIntersect<Empty> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

Source§

impl<T> SetIntersect<T> for Empty

Source§

impl<A> SetUnion<Empty> for Leaf<A>

Source§

type Out = Leaf<A>

Source§

impl<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF> SetUnion<Empty> for Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

Source§

type Out = Node16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, NA, NB, NC, ND, NE, NF>

Source§

impl<T> SetUnion<T> for Empty

Source§

type Out = T

Auto Trait Implementations§

§

impl Freeze for Empty

§

impl RefUnwindSafe for Empty

§

impl Send for Empty

§

impl Sync for Empty

§

impl Unpin for Empty

§

impl UnwindSafe for Empty

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<Ctx, H, T> Evaluate<All<HCons<H, T>>> for Ctx
where Ctx: Evaluate<H> + Evaluate<All<T>>, <Ctx as Evaluate<H>>::Out: BoolAnd<<Ctx as Evaluate<All<T>>>::Out>,

Source§

type Out = <<Ctx as Evaluate<H>>::Out as BoolAnd<<Ctx as Evaluate<All<T>>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx> Evaluate<All<HNil>> for Ctx

Source§

type Out = Present

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, L, R> Evaluate<And<L, R>> for Ctx
where Ctx: Evaluate<L> + Evaluate<R>, <Ctx as Evaluate<L>>::Out: BoolAnd<<Ctx as Evaluate<R>>::Out>,

Source§

type Out = <<Ctx as Evaluate<L>>::Out as BoolAnd<<Ctx as Evaluate<R>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, H, T> Evaluate<Any<HCons<H, T>>> for Ctx
where Ctx: Evaluate<H> + Evaluate<Any<T>>, <Ctx as Evaluate<H>>::Out: BoolOr<<Ctx as Evaluate<Any<T>>>::Out>,

Source§

type Out = <<Ctx as Evaluate<H>>::Out as BoolOr<<Ctx as Evaluate<Any<T>>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx> Evaluate<Any<HNil>> for Ctx

Source§

type Out = Absent

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, Cap> Evaluate<Cap> for Ctx
where Cap: Capability, Ctx: EvalAt<Has<Cap>, Z>,

Source§

type Out = <Ctx as EvalAt<Has<Cap>, Z>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, L, R> Evaluate<Or<L, R>> for Ctx
where Ctx: Evaluate<L> + Evaluate<R>, <Ctx as Evaluate<L>>::Out: BoolOr<<Ctx as Evaluate<R>>::Out>,

Source§

type Out = <<Ctx as Evaluate<L>>::Out as BoolOr<<Ctx as Evaluate<R>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<S, Cap> InsertIf<Cap, false> for S

Source§

type Out = S

Source§

impl<S, Cap> InsertIf<Cap, true> for S
where Cap: Capability, S: InsertAt<Cap, Z>,

Source§

type Out = <S as InsertAt<Cap, Z>>::Out

Source§

impl<S, Cap, B> InsertIfType<Cap, B> for S
where B: Bool, S: InsertAt<Cap, Z>,

Source§

type Out = <B as Bool>::If<<S as InsertAt<Cap, Z>>::Out, S>

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<S, Then, Else> SelectAdd<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XF, Cons<X9, Cons<XA, Cons<XE, Cons<XE, Cons<X3, Cons<X1, Cons<X9, Cons<XA, Cons<X0, Cons<X0, Cons<X6, Cons<XC, Cons<X9, Cons<XB, ConstStream<X4>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectAddAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<X6, Cons<XB, Cons<X6, Cons<X5, Cons<X0, Cons<XF, Cons<XA, Cons<X1, Cons<XA, Cons<XD, Cons<X6, Cons<X4, Cons<XA, Cons<X3, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q1, Q2, Then, Else> SelectAnd<Q1, Q2, Then, Else> for S
where S: SelectCap<And<Q1, Q2>, Then, Else>,

Source§

type Out = <S as SelectCap<And<Q1, Q2>, Then, Else>>::Out

Source§

impl<S, Then, Else> SelectBinary<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XD, Cons<X6, Cons<XF, Cons<X1, Cons<X3, Cons<X1, Cons<X8, Cons<X8, Cons<X2, Cons<X2, Cons<X0, Cons<XF, Cons<X3, Cons<XD, Cons<X1, ConstStream<XC>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBitAnd<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X2, Cons<XB, Cons<XE, Cons<XF, Cons<X9, Cons<XE, Cons<XB, Cons<X7, Cons<X1, Cons<X5, Cons<X8, Cons<X2, Cons<X8, Cons<X7, Cons<X6, ConstStream<X9>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBitAndAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X6, Cons<X4, Cons<XD, Cons<X0, Cons<X9, Cons<X4, Cons<XA, Cons<XF, Cons<X2, Cons<XB, Cons<X7, Cons<XD, Cons<X0, Cons<XB, Cons<X8, ConstStream<X0>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBitOr<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X2, Cons<XE, Cons<X8, Cons<X7, Cons<XA, Cons<X8, Cons<X2, Cons<XA, Cons<X3, Cons<X4, Cons<X9, Cons<X6, Cons<X7, Cons<XF, Cons<X6, ConstStream<XD>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBitOrAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X6, Cons<XE, Cons<X9, Cons<X9, Cons<XE, Cons<XC, Cons<X4, Cons<XE, Cons<X9, Cons<XB, Cons<X8, Cons<X7, Cons<X3, Cons<XB, Cons<X1, ConstStream<X4>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBitXor<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XE, Cons<X0, Cons<X6, Cons<X1, Cons<X1, Cons<XF, Cons<XB, Cons<X6, Cons<XE, Cons<XB, Cons<X6, Cons<X4, Cons<XB, Cons<X1, Cons<XA, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBitXorAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X6, Cons<XA, Cons<X4, Cons<XB, Cons<X9, Cons<XF, Cons<X9, Cons<XF, Cons<X2, Cons<X1, Cons<XD, Cons<X6, Cons<XD, Cons<XC, Cons<X4, ConstStream<XC>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectBufRead<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X4, Cons<X0, Cons<X2, Cons<X7, Cons<X2, Cons<XE, Cons<X1, Cons<X6, Cons<X6, Cons<X7, Cons<X1, Cons<X1, Cons<X8, Cons<XB, Cons<X2, ConstStream<XA>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q, Then, Else> SelectCap<Q, Then, Else> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool,

Source§

type Out = <<S as Evaluate<Q>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectClone<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X5, Cons<XE, Cons<X2, Cons<X6, Cons<X5, Cons<X4, Cons<XF, Cons<XB, Cons<X8, Cons<X5, Cons<X8, Cons<X7, Cons<XF, Cons<X4, Cons<X4, ConstStream<X2>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectCopy<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<X6, Cons<X8, Cons<X7, Cons<X0, Cons<X4, Cons<X9, Cons<XD, Cons<X1, Cons<XA, Cons<XF, Cons<X5, Cons<X6, Cons<X2, Cons<XC, ConstStream<X4>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDebug<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<X6, Cons<XD, Cons<X2, Cons<XF, Cons<X1, Cons<XD, Cons<XC, Cons<X1, Cons<X8, Cons<X0, Cons<XA, Cons<X4, Cons<X6, Cons<XD, ConstStream<X8>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDefault<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<X1, Cons<X3, Cons<X2, Cons<X6, Cons<XF, Cons<XD, Cons<X2, Cons<X5, Cons<X9, Cons<X0, Cons<XF, Cons<X4, Cons<XE, Cons<X5, ConstStream<XE>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDeref<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X2, Cons<X3, Cons<XC, Cons<X0, Cons<X8, Cons<X2, Cons<XD, Cons<XC, Cons<X6, Cons<X8, Cons<X8, Cons<X5, Cons<XF, Cons<X2, Cons<XA, ConstStream<XB>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDerefMut<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X4, Cons<XE, Cons<XE, Cons<XA, Cons<XC, Cons<XD, Cons<X9, Cons<X8, Cons<X7, Cons<XD, Cons<X8, Cons<X7, Cons<X2, Cons<X9, Cons<XC, ConstStream<X3>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDisplay<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<X1, Cons<X2, Cons<X5, Cons<XD, Cons<X1, Cons<X5, Cons<X9, Cons<XF, Cons<X7, Cons<XE, Cons<X6, Cons<X4, Cons<XD, Cons<XF, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDiv<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XE, Cons<X0, Cons<XB, Cons<X1, Cons<X5, Cons<XA, Cons<X1, Cons<X9, Cons<X9, Cons<X2, Cons<X2, Cons<X7, Cons<X6, Cons<X4, Cons<XE, ConstStream<X8>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDivAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X6, Cons<XC, Cons<XA, Cons<X5, Cons<X6, Cons<X6, Cons<X3, Cons<XC, Cons<XF, Cons<X5, Cons<X9, Cons<X9, Cons<XE, Cons<X6, Cons<X1, ConstStream<X9>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDoubleEndedIterator<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XE, Cons<X4, Cons<XC, Cons<XD, Cons<X2, Cons<XC, Cons<X1, Cons<XE, Cons<XF, Cons<X5, Cons<X8, Cons<XD, Cons<XC, Cons<X6, Cons<X0, ConstStream<XE>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectDrop<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<XC, Cons<X3, Cons<X0, Cons<XA, Cons<X8, Cons<X7, Cons<X2, Cons<XD, Cons<XE, Cons<X4, Cons<X5, Cons<XC, Cons<XF, Cons<X8, ConstStream<XC>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectEq<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X0, Cons<X8, Cons<XF, Cons<XB, Cons<X3, Cons<XB, Cons<X0, Cons<X7, Cons<XB, Cons<X5, Cons<X9, Cons<X6, Cons<X1, Cons<XD, Cons<XA, ConstStream<X3>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectError<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X5, Cons<XF, Cons<X3, Cons<X4, Cons<X3, Cons<XA, Cons<X4, Cons<X3, Cons<XE, Cons<X7, Cons<XE, Cons<XA, Cons<X9, Cons<XF, Cons<X9, ConstStream<X1>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectExactSizeIterator<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XA, Cons<XF, Cons<XE, Cons<X4, Cons<X6, Cons<X2, Cons<XA, Cons<X0, Cons<XD, Cons<XA, Cons<XF, Cons<XF, Cons<X1, Cons<XC, Cons<XA, ConstStream<X7>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectFmtWrite<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X6, Cons<X5, Cons<XA, Cons<X1, Cons<XE, Cons<XD, Cons<XA, Cons<X7, Cons<XC, Cons<XB, Cons<X8, Cons<X8, Cons<XA, Cons<X1, Cons<XE, ConstStream<X7>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectFromStr<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X7, Cons<X0, Cons<X7, Cons<X5, Cons<X7, Cons<X4, Cons<X2, Cons<XA, Cons<X3, Cons<XA, Cons<X7, Cons<XD, Cons<X0, Cons<X2, Cons<XC, ConstStream<X0>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectFusedIterator<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XD, Cons<X4, Cons<X0, Cons<X0, Cons<XB, Cons<X1, Cons<X6, Cons<X9, Cons<XE, Cons<XF, Cons<X6, Cons<X9, Cons<XE, Cons<X5, Cons<X5, ConstStream<X6>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectFuture<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<X4, Cons<X0, Cons<X8, Cons<X3, Cons<X4, Cons<XE, Cons<X3, Cons<XD, Cons<XA, Cons<X0, Cons<XC, Cons<XC, Cons<X2, Cons<X3, ConstStream<X6>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectHash<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X5, Cons<X8, Cons<XC, Cons<XB, Cons<X9, Cons<XF, Cons<XD, Cons<X8, Cons<X7, Cons<X5, Cons<X8, Cons<XA, Cons<XE, Cons<XB, Cons<XF, ConstStream<X1>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectIntoIterator<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<XA, Cons<XE, Cons<X1, Cons<XF, Cons<XA, Cons<XB, Cons<XA, Cons<X5, Cons<X9, Cons<XD, Cons<X2, Cons<XD, Cons<X0, Cons<X9, ConstStream<X9>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectIoWrite<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<X3, Cons<XD, Cons<XC, Cons<XC, Cons<XE, Cons<XF, Cons<X0, Cons<XB, Cons<X4, Cons<XF, Cons<X7, Cons<X6, Cons<X2, Cons<X9, ConstStream<X8>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectIterator<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XB, Cons<XC, Cons<X8, Cons<XB, Cons<XD, Cons<X1, Cons<XC, Cons<X9, Cons<X2, Cons<XC, Cons<X4, Cons<X2, Cons<X7, Cons<X3, Cons<X0, ConstStream<XF>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectLowerExp<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XF, Cons<XD, Cons<XB, Cons<XB, Cons<X5, Cons<XF, Cons<X6, Cons<X2, Cons<X4, Cons<XD, Cons<X2, Cons<X4, Cons<XC, Cons<X8, Cons<X4, ConstStream<XD>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectLowerHex<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X8, Cons<XD, Cons<XD, Cons<X4, Cons<X3, Cons<X6, Cons<X6, Cons<X2, Cons<X0, Cons<XD, Cons<XF, Cons<X5, Cons<XD, Cons<X3, Cons<X8, ConstStream<X3>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectMul<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<XD, Cons<XE, Cons<XF, Cons<X8, Cons<X5, Cons<X1, Cons<X9, Cons<XB, Cons<X5, Cons<X0, Cons<X3, Cons<X4, Cons<X9, Cons<X4, ConstStream<X1>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectMulAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<XB, Cons<X5, Cons<XA, Cons<XE, Cons<X1, Cons<XE, Cons<XA, Cons<XB, Cons<XC, Cons<X4, Cons<X4, Cons<XA, Cons<XE, Cons<XD, ConstStream<X8>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectNeg<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<X7, Cons<X4, Cons<X2, Cons<X0, Cons<X5, Cons<X1, Cons<X9, Cons<XC, Cons<X3, Cons<X2, Cons<XA, Cons<XD, Cons<XE, Cons<XC, ConstStream<X1>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q, Then, Else> SelectNot<Q, Then, Else> for S
where S: SelectCap<Not<Q>, Then, Else>,

Source§

type Out = <S as SelectCap<Not<Q>, Then, Else>>::Out

Source§

impl<S, Then, Else> SelectNot<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<X7, Cons<X6, Cons<X3, Cons<XF, Cons<X6, Cons<X1, Cons<X9, Cons<XC, Cons<X3, Cons<X4, Cons<X7, Cons<XA, Cons<XB, Cons<XA, ConstStream<XA>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectOctal<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XD, Cons<X5, Cons<XD, Cons<X8, Cons<X7, Cons<XB, Cons<X6, Cons<X3, Cons<X4, Cons<XD, Cons<X0, Cons<X5, Cons<X0, Cons<XD, Cons<X7, ConstStream<XC>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q1, Q2, Then, Else> SelectOr<Q1, Q2, Then, Else> for S
where S: SelectCap<Or<Q1, Q2>, Then, Else>,

Source§

type Out = <S as SelectCap<Or<Q1, Q2>, Then, Else>>::Out

Source§

impl<S, Then, Else> SelectOrd<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<X0, Cons<X0, Cons<X4, Cons<XA, Cons<X9, Cons<X1, Cons<X9, Cons<XB, Cons<XF, Cons<X7, Cons<X8, Cons<XA, Cons<X6, Cons<XA, ConstStream<X0>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectPartialEq<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X1, Cons<X9, Cons<XE, Cons<X5, Cons<X6, Cons<XB, Cons<X2, Cons<X2, Cons<X5, Cons<XE, Cons<XA, Cons<X1, Cons<X4, Cons<XA, Cons<X5, ConstStream<X4>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectPartialOrd<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X4, Cons<XB, Cons<X7, Cons<XD, Cons<X8, Cons<X7, Cons<X6, Cons<X6, Cons<X9, Cons<XA, Cons<XF, Cons<XF, Cons<X1, Cons<X3, Cons<X3, ConstStream<X9>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectPointer<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XD, Cons<X1, Cons<XF, Cons<X4, Cons<X5, Cons<XB, Cons<X4, Cons<X6, Cons<X3, Cons<X9, Cons<X5, Cons<XD, Cons<X6, Cons<XE, Cons<XE, ConstStream<XA>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectRead<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X7, Cons<X4, Cons<X0, Cons<XD, Cons<X5, Cons<X4, Cons<X2, Cons<XB, Cons<XB, Cons<XE, Cons<X6, Cons<X9, Cons<X6, Cons<XD, Cons<XE, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectRefUnwindSafe<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XF, Cons<XE, Cons<XE, Cons<XB, Cons<X2, Cons<XA, Cons<X3, Cons<X8, Cons<X8, Cons<X1, Cons<XC, Cons<X8, Cons<XC, Cons<X1, Cons<XF, ConstStream<X6>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectRem<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<XF, Cons<XF, Cons<X1, Cons<XE, Cons<X7, Cons<X1, Cons<X9, Cons<XF, Cons<XE, Cons<XA, Cons<XC, Cons<X2, Cons<XA, Cons<XC, ConstStream<X7>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectRemAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XD, Cons<X3, Cons<X7, Cons<XD, Cons<XA, Cons<X0, Cons<X2, Cons<X1, Cons<X9, Cons<X2, Cons<XF, Cons<X7, Cons<X3, Cons<X1, Cons<X7, ConstStream<XE>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectSeek<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X5, Cons<X7, Cons<X8, Cons<X8, Cons<XD, Cons<X9, Cons<X2, Cons<X4, Cons<XD, Cons<X5, Cons<X5, Cons<XD, Cons<X3, Cons<XF, Cons<XF, ConstStream<X1>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectSend<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X5, Cons<X7, Cons<XA, Cons<XD, Cons<XF, Cons<X4, Cons<X2, Cons<X4, Cons<XD, Cons<X5, Cons<X7, Cons<XC, Cons<X8, Cons<XA, Cons<X0, ConstStream<XF>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectShl<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<X8, Cons<X4, Cons<XE, Cons<XC, Cons<X1, Cons<X1, Cons<X9, Cons<XF, Cons<XA, Cons<XA, Cons<X3, Cons<X9, Cons<XB, Cons<X3, ConstStream<X6>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectShlAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X6, Cons<XC, Cons<X3, Cons<XB, Cons<XD, Cons<X9, Cons<XF, Cons<X8, Cons<XE, Cons<X1, Cons<X7, Cons<X4, Cons<X6, Cons<X8, Cons<X5, ConstStream<XF>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectShr<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<X8, Cons<X4, Cons<XE, Cons<XB, Cons<XB, Cons<X1, Cons<X9, Cons<XF, Cons<XA, Cons<XA, Cons<X3, Cons<X9, Cons<X1, Cons<X0, ConstStream<X4>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectShrAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XE, Cons<XB, Cons<XD, Cons<X6, Cons<X7, Cons<X9, Cons<X6, Cons<X7, Cons<X0, Cons<X1, Cons<XB, Cons<X8, Cons<X8, Cons<X3, Cons<X4, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectSized<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X3, Cons<XE, Cons<X0, Cons<XB, Cons<X4, Cons<XB, Cons<XB, Cons<X5, Cons<X6, Cons<XE, Cons<X0, Cons<X5, Cons<X9, Cons<X1, Cons<XE, ConstStream<X8>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q, Then, Else, Output> SelectStaticCall<Q, Then, Else, Output> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool, Then: StaticMethodImpl<Output>, Else: StaticMethodImpl<Output>,

Source§

fn call() -> Output

Source§

impl<S, Then, Else> SelectSub<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<X8, Cons<X7, Cons<XA, Cons<XB, Cons<XD, Cons<X1, Cons<X9, Cons<XF, Cons<XA, Cons<XC, Cons<X8, Cons<XC, Cons<XF, Cons<X5, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectSubAssign<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XC, Cons<XE, Cons<XD, Cons<XC, Cons<XB, Cons<XD, Cons<XB, Cons<X3, Cons<X2, Cons<X0, Cons<X3, Cons<X7, Cons<X4, Cons<XB, Cons<X7, ConstStream<XC>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectSync<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X0, Cons<X5, Cons<X0, Cons<X7, Cons<X3, Cons<XD, Cons<X2, Cons<X5, Cons<X3, Cons<X7, Cons<XB, Cons<X4, Cons<X5, Cons<XD, Cons<X1, ConstStream<XA>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectToOwned<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X9, Cons<X7, Cons<XC, Cons<X9, Cons<X1, Cons<X9, Cons<X5, Cons<X6, Cons<X1, Cons<XF, Cons<XC, Cons<XF, Cons<X8, Cons<XB, Cons<XC, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectToString<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XA, Cons<X2, Cons<X3, Cons<X6, Cons<X4, Cons<XD, Cons<X0, Cons<X8, Cons<X7, Cons<X2, Cons<XE, Cons<XB, Cons<XF, Cons<XA, Cons<XA, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q, Then, Else> SelectType<Q, Then, Else> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool,

Source§

type Out = <<S as Evaluate<Q>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectUnpin<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XB, Cons<XC, Cons<X0, Cons<XC, Cons<XD, Cons<X0, Cons<XB, Cons<X4, Cons<XD, Cons<XF, Cons<XB, Cons<X7, Cons<XD, Cons<XD, Cons<XE, ConstStream<X1>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectUnwindSafe<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<XF, Cons<XA, Cons<XC, Cons<XD, Cons<XC, Cons<XB, Cons<X3, Cons<X5, Cons<X0, Cons<X4, Cons<X4, Cons<X9, Cons<X7, Cons<XE, Cons<X7, ConstStream<X5>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectUpperExp<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X0, Cons<XE, Cons<X2, Cons<X2, Cons<X4, Cons<X1, Cons<X7, Cons<X5, Cons<XD, Cons<X4, Cons<XD, Cons<XB, Cons<X2, Cons<XA, Cons<X7, ConstStream<XE>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Then, Else> SelectUpperHex<Then, Else> for S

Source§

type Out = <<S as Evaluate<Marker<Cons<X7, Cons<XE, Cons<X5, Cons<XB, Cons<X4, Cons<XA, Cons<X7, Cons<X6, Cons<X1, Cons<X4, Cons<X4, Cons<XF, Cons<XF, Cons<X3, Cons<X1, ConstStream<X0>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<Ctx, Cap> With<Cap> for Ctx
where Cap: Capability, Ctx: InsertAt<Cap, Z>,

Source§

type Out = <Ctx as InsertAt<Cap, Z>>::Out

Source§

impl<Ctx, Cap> Without<Cap> for Ctx
where Cap: Capability, Ctx: RemoveAt<Cap, Z>,

Source§

type Out = <Ctx as RemoveAt<Cap, Z>>::Out

Source§

impl<T> SupersetOf<Empty> for T