numwit

Witness types and operations for numbers which are [Positive] or [Negative], but not zero.

Operation	LHS	RHS	Output	Assignable?
Add	`Positive`	`Positive`	`Positive`	Yes
	`Negative`	`Negative`	`Negative`	Yes
	`Positive`	`Negative`	?	No
	`Negative`	`Positive`	?	No
	`Positive`	`impl Unsigned`	`Positive`	Yes
	`Negative`	`impl Unsigned`	?	No
Sub	`Positive`	`Positive`	?	No
	`Negative`	`Negative`	?	No
	`Positive`	`Negative`	`Positive`	Yes
	`Negative`	`Positive`	`Negative`	Yes
	`Positive`	`impl Unsigned`	?	No
	`Negative`	`impl Unsigned`	`Negative`	Yes
Mul	`Positive`	`Positive`	`Positive`	Yes
	`Negative`	`Negative`	`Positive`	No
	`Positive`	`Negative`	`Negative`	No
	`Negative`	`Positive`	`Negative`	Yes
	`Positive`	`impl Unsigned`	?	No
	`Negative`	`impl Unsigned`	?	No
Div	`Positive`	`Positive`	`Positive`	Yes
	`Negative`	`Negative`	`Positive`	No
	`Positive`	`Negative`	`Negative`	No
	`Negative`	`Positive`	`Negative`	Yes
	`Positive`	`impl Unsigned`	`Positive`	Yes
	`Negative`	`impl Unsigned`	`Negative`	Yes
Neg	`Positive`		`Negative`
	`Negative`		`Positive`

License: MIT or Apache-2.0

numwit 0.1.0