Struct Succ 

pub struct Succ<N>(/* private fields */);

Trait Implementations

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

type MinDepth = Succ<Succ<Zero>>

type Queries = Left<Here>

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

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

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

type MinDepth = Succ<Succ<Zero>>

type Queries = Right<Here>

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.

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

type MinDepth = Succ<Zero>

type Queries = Left<Here>

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

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

impl<N> Max<Succ<N>, Zero> for ()

where N: IsNumber,

type Output = Succ<N>

impl<N1, N2> Max<Succ<N1>, Succ<N2>> for ()

where N1: IsNumber, N2: IsNumber, (): Max<N1, N2>,

type Output = Succ<<() as Max<N1, N2>>::Output>

impl<N> Max<Zero, Succ<N>> for ()

where N: IsNumber,

type Output = Succ<N>

impl<N> Min<Succ<N>, Zero> for ()

where N: IsNumber,

type Output = Zero

impl<N1, N2> Min<Succ<N1>, Succ<N2>> for ()

where N1: IsNumber, N2: IsNumber, (): Min<N1, N2>,

type Output = Succ<<() as Min<N1, N2>>::Output>

impl<N> Min<Zero, Succ<N>> for ()

where N: IsNumber,

type Output = Zero

impl<N1, N2> Equal<Succ<N1>, Succ<N2>> for ()

where (): Equal<N1, N2>,

impl<N> GreaterThanOrEqual<Succ<N>, Zero> for ()

impl<N1, N2> GreaterThanOrEqual<Succ<N1>, Succ<N2>> for ()

where (): GreaterThanOrEqual<N1, N2>,

impl<N> IsNumber for Succ<N>

where N: IsNumber,

impl<N1, N2> LessThan<Succ<N1>, Succ<N2>> for ()

where (): LessThan<N1, N2>,

impl<N> LessThan<Zero, Succ<N>> for ()

where N: IsNumber,