Skip to main content

relp_num/
lib.rs

1//! # relp-num
2//!
3//! Number types for the [RELP](https://crates.io/crates/relp) crate.
4#![warn(missing_docs)]
5// The tests deliberately exercise the operator impls in ways clippy reads as mistakes: calling the
6// by-reference impls (`op_ref`), asserting the exact boolean a comparison yields on `Sign`, which
7// is a genuinely partial order (`bool_assert_comparison`), using `x = x + y` to test `Add` rather
8// than `AddAssign` (`assign_op_pattern`), and multiplying by zero (`erasing_op`).
9#![cfg_attr(test, allow(
10    clippy::op_ref,
11    clippy::bool_assert_comparison,
12    clippy::assign_op_pattern,
13    clippy::erasing_op,
14))]
15
16mod binary;
17pub use binary::Binary;
18
19mod zero;
20pub use zero::Zero;
21
22mod one;
23pub use one::One;
24
25mod signed_one;
26pub use signed_one::SignedOne;
27
28mod integer;
29pub use integer::factorization::prime::Prime;
30pub use integer::big::Ubig;
31pub use integer::big::NonZeroUbig;
32
33mod non_zero;
34pub use non_zero::NonZero;
35pub use non_zero::sign::NonZeroSign;
36pub use non_zero::sign::NonZeroSigned;
37
38mod rational;
39pub use rational::RationalBig;
40pub use rational::RationalUsize;
41pub use rational::Rational128;
42pub use rational::Rational64;
43pub use rational::Rational32;
44pub use rational::Rational16;
45pub use rational::Rational8;
46pub use rational::NonZeroRationalBig;
47pub use rational::NonZeroRationalUsize;
48pub use rational::NonZeroRational128;
49pub use rational::NonZeroRational64;
50pub use rational::NonZeroRational32;
51pub use rational::NonZeroRational16;
52pub use rational::NonZeroRational8;
53
54mod sign;
55pub use sign::Sign;
56pub use sign::Signed;
57pub use sign::Negateable;
58
59mod traits;
60pub use traits::Abs;
61pub use traits::factorization::NonZeroFactorizable;
62pub use traits::factorization::NonZeroFactorization;
63pub use traits::Field;
64pub use traits::FieldRef;
65pub use traits::OrderedField;
66pub use traits::OrderedFieldRef;
67
68// This re-export is used in macros used to construct rationals in tests.
69pub use num_traits::FromPrimitive;