# Module typenum::type_operators

source · [−]## Expand description

Useful **type operators** that are not defined in `core::ops`

.

## Traits

A **type operator** that returns the absolute value.

A **type operator** for comparing `Self`

and `Rhs`

. It provides a similar functionality to
the function
`core::cmp::Ord::cmp`

but for types.

A **type operator** that computes the greatest common divisor of `Self`

and `Rhs`

.

A **type operator** that returns `True`

if `Self == Rhs`

, otherwise returns `False`

.

A **type operator** that returns `True`

if `Self > Rhs`

, otherwise returns `False`

.

A **type operator** that returns `True`

if `Self >= Rhs`

, otherwise returns `False`

.

A **type operator** that returns `True`

if `Self < Rhs`

, otherwise returns `False`

.

A **type operator** that returns `True`

if `Self <= Rhs`

, otherwise returns `False`

.

A **type operator** that returns `True`

if `Self != Rhs`

, otherwise returns `False`

.

A **type operator** that gives the length of an `Array`

or the number of bits in a `UInt`

.

A **type operator** for taking the integer binary logarithm of `Self`

.

A **type operator** that returns the maximum of `Self`

and `Rhs`

.

A **type operator** that returns the minimum of `Self`

and `Rhs`

.

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).

A **type operator** that provides exponentiation by repeated squaring.

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.

A **type operator** for taking the integer square root of `Self`

.

A **type operator** for taking a concrete integer value from a type.