Trait tylar::Div
[−]
[src]
pub trait Div<RHS>: NumType { type Out: NumType; }
Division of number types.
Associated Types
Implementors
impl<A: PosType> Div<Succ<A>> for Zero
impl<A: NegType> Div<Pred<A>> for Zero
impl<A: NumType, B: NumType, C: NumType> Div<Succ<B>> for Succ<A> where
A: Sub<B, Out = C>,
C: Div<Succ<B>>,impl<N: NegType, NN: NegType, P: PosType, PP: PosType> Div<Pred<NN>> for Pred<N> where
N: Neg<Out = P>,
NN: Neg<Out = PP>,
Succ<P>: Div<Succ<PP>>,impl<P: NumType, N: NegType, PP: NumType, PPP: NumType> Div<Pred<N>> for Succ<P> where
N: Neg<Out = PP>,
Succ<P>: Div<Succ<PP>, Out = Succ<PPP>>,
Succ<PPP>: Neg,impl<P: NumType, N: NegType, PP: NumType, PPP: NumType> Div<Succ<P>> for Pred<N> where
N: Neg<Out = PP>,
Succ<PP>: Div<Succ<P>, Out = Succ<PPP>>,
Succ<PPP>: Neg,