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