numwit
| Crates.io | numwit |
| lib.rs | numwit |
| version | 0.1.0 |
| source | src |
| created_at | 2023-01-12 03:27:54.751966 |
| updated_at | 2023-01-12 03:27:54.751966 |
| description | witness types and operations for numbers which are positive or negative (but not zero) |
| homepage | |
| repository | |
| max_upload_size | |
| id | 756860 |
| size | 29,056 |
Aatif Syed (aatifsyed)
documentation
README
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