Trait Depth 

pub trait Depth
where
    Self::Output: IsNumber,
{
    type Output;
}

Required Associated Types

type Output

Implementations on Foreign Types

impl Depth for ()

type Output = Zero

Implementors

impl<Req, SubtreeL, SubtreeR> Depth for Node<Req, SubtreeL, SubtreeR>

where SubtreeL: Depth, SubtreeR: Depth, <SubtreeL as Depth>::Output: IsNumber, <SubtreeR as Depth>::Output: IsNumber, (): Max<<SubtreeL as Depth>::Output, <SubtreeR as Depth>::Output>,

type Output = Succ<<() as Max<<SubtreeL as Depth>::Output, <SubtreeR as Depth>::Output>>::Output>