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

FoldAdd

A type operator that gives the sum of all elements of an Array.

FoldMul

A type operator that gives the product of all elements of an Array.

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.