Module typenum::type_operators

Useful type operators that are not defined in core::ops.

Traits

Abs	A type operator that returns the absolute value.
Cmp	A type operator for comparing Self and Rhs. It provides a similar functionality to the function core::cmp::Ord::cmp but for types.
Gcd	A type operator that computes the greatest common divisor of Self and Rhs.
IsEqual	A type operator that returns True if Self == Rhs, otherwise returns False.
IsGreater	A type operator that returns True if Self > Rhs, otherwise returns False.
IsGreaterOrEqual	A type operator that returns True if Self >= Rhs, otherwise returns False.
IsLess	A type operator that returns True if Self < Rhs, otherwise returns False.
IsLessOrEqual	A type operator that returns True if Self <= Rhs, otherwise returns False.
IsNotEqual	A type operator that returns True if Self != Rhs, otherwise returns False.
Len	A type operator that gives the length of an Array or the number of bits in a UInt.
Logarithm2	A type operator for taking the integer binary logarithm of Self.
Max	A type operator that returns the maximum of Self and Rhs.
Min	A type operator that returns the minimum of Self and Rhs.
PartialDiv	Division as a partial function. This type operator performs division just as Div, but is only defined when the result is an integer (i.e. there is no remainder).
Pow	A type operator that provides exponentiation by repeated squaring.
Same	A type operator that ensures that Rhs is the same as Self, it is mainly useful for writing macros that can take arbitrary binary or unary operators.
SquareRoot	A type operator for taking the integer square root of Self.
ToInt	A type operator for taking a concrete integer value from a type.