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