Module typenum::operator_aliases

Aliases for the type operators used in this crate. Their purpose is to increase the ergonomics of performing operations on the types defined here. For even more ergonomics, consider using the op! macro instead.

For example, type X and type Y are the same here:

use std::ops::Mul;
use typenum::{Prod, P5, P7};

type X = <P7 as Mul<P5>>::Output;
type Y = Prod<P7, P5>;

assert_type_eq!(X, Y);

Type Definitions

AbsVal

Alias for the associated type of Abs: AbsVal<A> = <A as Abs>::Output

Add1

Alias to make it easy to add 1: Add1<A> = <A as Add<B1>>::Output

And

Alias for the associated type of BitAnd: And<A, B> = <A as BitAnd<B>>::Output

Compare

Alias for the associated type of Cmp: Compare<A, B> = <A as Cmp<B>>::Output

Cube

Alias to make it easy to cube. Cube<A> = <Square<A> as Mul<A>>::Output

Diff

Alias for the associated type of Sub: Diff<A, B> = <A as Sub<B>>::Output

Double

Alias to make it easy to multiply by 2. Double<A> = Shleft<A, B1>

Eq

Alias for the associated type of IsEqual: Eq<A, B> = <A as IsEqual<B>>::Output

Exp

Alias for the associated type of Pow: Exp<A, B> = <A as Pow<B>>::Output

Gcf

Alias for the associated type of Gcd: Gcf<A, B> = <A as Gcd<B>>::Output>

Gr

Alias for the associated type of IsGreater: Gr<A, B> = <A as IsGreater<B>>::Output

GrEq

Alias for the associated type of IsGreaterOrEqual: GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output

Le

Alias for the associated type of IsLess: Le<A, B> = <A as IsLess<B>>::Output

LeEq

Alias for the associated type of IsLessOrEqual: LeEq<A, B> = <A as IsLessOrEqual<B>>::Output

Length

Alias for the associated type of Len: Length<A> = <A as Len>::Output

Log2

Alias for the associated type of Logarithm2: Log2<A> = <A as Logarithm2>::Output

Maximum

Alias for the associated type of Max: Maximum<A, B> = <A as Max<B>>::Output

Minimum

Alias for the associated type of Min: Minimum<A, B> = <A as Min<B>>::Output

Mod

Alias for the associated type of Rem: Mod<A, B> = <A as Rem<B>>::Output

Negate

Alias for the associated type of Neg: Negate<A> = <A as Neg>::Output

NotEq

Alias for the associated type of IsNotEqual: NotEq<A, B> = <A as IsNotEqual<B>>::Output

Or

Alias for the associated type of BitOr: Or<A, B> = <A as BitOr<B>>::Output

PartialQuot

Alias for the associated type of PartialDiv: PartialQuot<A, B> = <A as PartialDiv<B>>::Output

Prod

Alias for the associated type of Mul: Prod<A, B> = <A as Mul<B>>::Output

Quot

Alias for the associated type of Div: Quot<A, B> = <A as Div<B>>::Output

Shleft

Alias for the associated type of Shl: Shleft<A, B> = <A as Shl<B>>::Output

Shright

Alias for the associated type of Shr: Shright<A, B> = <A as Shr<B>>::Output

Sqrt

Alias for the associated type of SquareRoot: Sqrt<A> = <A as SquareRoot>::Output

Square

Alias to make it easy to square. Square<A> = <A as Mul<A>>::Output

Sub1

Alias to make it easy to subtract 1: Sub1<A> = <A as Sub<B1>>::Output

Sum

Alias for the associated type of Add: Sum<A, B> = <A as Add<B>>::Output

Xor

Alias for the associated type of BitXor: Xor<A, B> = <A as BitXor<B>>::Output