Struct Absent 

pub struct Absent;

Type-level False.

Trait Implementations

impl Bool for Absent

const VALUE: bool = false

type If<Then, Else> = Else

Type-level conditional: If<Then, Else> (General Type Selector)

type Elif<Then: Bool, Else: Bool> = Else

Type-level boolean conditional: Then<T, E> where T, E are Bool. Returns a type guaranteed to implement Bool.

type And<Other: Bool> = Absent

Logical AND

type Or<Other: Bool> = Other

Logical OR

fn static_dispatch<Then, Else, Output>() -> Output

where Then: StaticMethodImpl<Output>, Else: StaticMethodImpl<Output>,

Call a static method based on this boolean value. If true (Present), calls Then::call(). If false (Absent), calls Else::call().

impl BoolNot for Absent

type Out = Present

impl<Then, Else, Output> BoolStaticCall<Then, Else, Output> for Absent

where Else: StaticMethodImpl<Output>,

fn call() -> Output

impl Debug for Absent

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<B1, B2> GateBodyEq<B1, B2> for Absent

type Out = Absent

impl<A> IntersectLeafHelper<A> for Absent

type Out = Empty

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X0> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<<<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X1> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X2> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X3> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X4> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X5> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X6> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X7> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X8> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, X9> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, XA> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, XB> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, XC> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, XD> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, XE> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out, Empty>

impl<NewCap, StoredCap, Depth> LeafCollisionBranch<NewCap, StoredCap, Absent, Depth, XF> for Leaf<StoredCap>

where StoredCap: Capability, NewCap: Capability, Empty: InsertAt<StoredCap, S<Depth>>, <Empty as InsertAt<StoredCap, S<Depth>>>::Out: InsertAt<NewCap, S<Depth>>,

type Out = Node16<Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, Empty, <<Empty as InsertAt<StoredCap, S<Depth>>>::Out as InsertAt<NewCap, S<Depth>>>::Out>

impl<S> LeafRemove<Absent> for Leaf<S>

type Out = Leaf<S>

impl<TailA, TailB, L> StreamEqDispatch<TailA, TailB, L> for Absent

type Out = Absent