Trait Depth 

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

Required Associated Types

type Output

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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>