Module dialectic::unary[−][src]

The unary numbers, represented by zero Z and successor S.

Structs

S	The successor of `N` (i.e. `N + 1`).
Z	The number zero.

A wrapper for type-level usize values to allow implementing traits on them.

Add	Add two unary numbers at the type level.
Compare	Compare two unary numbers and branch on their comparison, at the type level.
Constant	A trait marking wrapped type-level constants.
LessThan	Ensure than a unary number is strictly less than some other number.
ToConstant	A trait which allows conversion from a unary type-level representation to a wrapper over a type-level `usize`.
ToUnary	A trait which allows conversion from a wrapper type over a type-level `usize` to a unary type-level number representation.
Unary	All unary numbers can be converted to their value-level equivalent `usize`.

A convenient type synonym for writing out unary types using constants.