Trait tylar::Halve

pub trait Halve: NumType {
    type Out: NumType;
}

Halving of number types. Div<_,P2> could be used instead of this, but Div stresses the typechecker more than Halve, so that Halve can be used with larger numbers without running into the recursion limit.

Associated Types

type Out: NumType

Result of the operation, i.e. Out = Self / 2.

Implementors

• impl Halve for Zero
• impl<A: PosType, B: NumType> Halve for Succ<Succ<A>> where
    A: Halve<Out = B>, 
• impl<A: NegType, B: NumType> Halve for Pred<Pred<A>> where
    A: Halve<Out = B>,