numwit 0.1.0

witness types and operations for numbers which are positive or negative (but not zero)
Documentation
  • Coverage
  • 16.67%
    3 out of 18 items documented0 out of 17 items with examples
  • Size
  • Source code size: 33.74 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 4.07 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 23s Average build duration of successful builds.
  • all releases: 23s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • aatifsyed

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