Trait MinDepth 

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

Required Associated Types

type Output

Implementations on Foreign Types

impl MinDepth for ()

type Output = Zero

Implementors

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

where SubtreeL: MinDepth, SubtreeR: MinDepth, <SubtreeL as MinDepth>::Output: IsNumber, <SubtreeR as MinDepth>::Output: IsNumber, (): Min<<SubtreeL as MinDepth>::Output, <SubtreeR as MinDepth>::Output>,

type Output = Succ<<() as Min<<SubtreeL as MinDepth>::Output, <SubtreeR as MinDepth>::Output>>::Output>