Crate tylar [−] [src]
TypeLevel Arithmetic in Rust (tylar).
Structs
Pred 
The predecessor of 
Succ 
The successor of 
Zero 
The number type for zero (0). 
Traits
Add 
Addition of number types. 
Decr 
Decrementation of number types. 
Div 
Division of number types. 
Halve 
Halving of number types.

Incr 
Incrementation of number types. 
Mul 
Subtraction of number types. 
Neg 
Negation of number types. 
NegType 
Marker trait for negative numbers (including zero). 
NumType 
Basic trait implemented by all number types. 
PosType 
Marker trait for positive numbers (including zero). 
Sub 
Subtraction of number types. 
Type Definitions
N1 
Shorthand for the number –1 (the first predecessor of zero). 
N2 
Shorthand for the number –2 (the second predecessor of zero). 
N3 
Shorthand for the number –3 (the third predecessor of zero). 
N4 
Shorthand for the number –4 (the fourth predecessor of zero). 
N5 
Shorthand for the number –5 (the fifth predecessor of zero). 
N6 
Shorthand for the number –6 (the sixth predecessor of zero). 
N7 
Shorthand for the number –7 (the seventh predecessor of zero). 
N8 
Shorthand for the number –8 (the eight predecessor of zero). 
N9 
Shorthand for the number –9 (the ninth predecessor of zero). 
P1 
Shorthand for the number 1 (the first successor of zero). 
P2 
Shorthand for the number 2 (the second successor of zero). 
P3 
Shorthand for the number 3 (the third successor of zero). 
P4 
Shorthand for the number 4 (the fourth successor of zero). 
P5 
Shorthand for the number 5 (the fifth successor of zero). 
P6 
Shorthand for the number 6 (the sixth successor of zero). 
P7 
Shorthand for the number 7 (the seventh successor of zero). 
P8 
Shorthand for the number 8 (the eighth successor of zero). 
P9 
Shorthand for the number 9 (the nineth successor of zero). 