Right

layer_rs::markers

Struct Right 

Source 
pub struct Right<PrevDirection>(/* private fields */);

Trait Implementations§

Source§

impl<Target, Req, SubtreeL, SubtreeR, SubtreePath> Get<Target, Right<SubtreePath>> for Node<Req, SubtreeL, SubtreeR>
where SubtreeR: Get<Target, SubtreePath>,

Source§

fn get(&self) -> &Target

Source§

fn get_mut(&mut self) -> &mut Target

Source§

impl<Req, ReqL, SubtreeLL, SubtreeLR, ReqR, SubtreeRL, SubtreeRR, NewReq, NextSubtreeR, PrevQueriesR> Insert<NewReq, <Node<Req, Node<ReqL, SubtreeLL, SubtreeLR>, NextSubtreeR> as MinDepth>::Output, Right<PrevQueriesR>, Node<Req, Node<ReqL, SubtreeLL, SubtreeLR>, NextSubtreeR>> for Node<Req, Node<ReqL, SubtreeLL, SubtreeLR>, Node<ReqR, SubtreeRL, SubtreeRR>>
where Node<ReqL, SubtreeLL, SubtreeLR>: MinDepth, Node<ReqR, SubtreeRL, SubtreeRR>: MinDepth + Insert<NewReq, <NextSubtreeR as MinDepth>::Output, PrevQueriesR, NextSubtreeR>, Node<Req, Node<ReqL, SubtreeLL, SubtreeLR>, NextSubtreeR>: MinDepth, NextSubtreeR: MinDepth, (): GreaterThanOrEqual<<Node<ReqL, SubtreeLL, SubtreeLR> as MinDepth>::Output, <Node<ReqR, SubtreeRL, SubtreeRR> as MinDepth>::Output>,

Source§

type MinDepth = Succ<<Node<Req, Node<ReqL, SubtreeLL, SubtreeLR>, NextSubtreeR> as MinDepth>::Output>

Source§

type Queries = Right<PrevQueriesR>

Source§

fn insert( self, new_req: NewReq, ) -> Node<Req, Node<ReqL, SubtreeLL, SubtreeLR>, NextSubtreeR>

Inserts a new requirement into the tree. If you want to replace an existing requirement, remove it beforehand.
Source§

impl<Req, ReqL, NewReq> Insert<NewReq, Succ<Succ<Zero>>, Right<Left<Here>>, Node<Req, Node<ReqL, (), ()>, Node<NewReq, (), ()>>> for Node<Req, Node<ReqL, (), ()>, ()>

Source§

type MinDepth = Succ<Succ<Zero>>

Source§

type Queries = Right<Here>

Source§

fn insert( self, new_req: NewReq, ) -> Node<Req, Node<ReqL, (), ()>, Node<NewReq, (), ()>>

Inserts a new requirement into the tree. If you want to replace an existing requirement, remove it beforehand.

Auto Trait Implementations§

§

impl<PrevDirection> Freeze for Right<PrevDirection>

§

impl<PrevDirection> RefUnwindSafe for Right<PrevDirection>
where PrevDirection: RefUnwindSafe,

§

impl<PrevDirection> Send for Right<PrevDirection>
where PrevDirection: Send,

§

impl<PrevDirection> Sync for Right<PrevDirection>
where PrevDirection: Sync,

§

impl<PrevDirection> Unpin for Right<PrevDirection>
where PrevDirection: Unpin,

§

impl<PrevDirection> UnwindSafe for Right<PrevDirection>
where PrevDirection: UnwindSafe,

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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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<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.