1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
#![no_std]
#![warn(missing_docs)]
use core::cmp::Ordering;
macro_rules! impl_derivable {
($Type: ty) => (
impl ::core::cmp::PartialEq for $Type {
fn eq(&self, _: &Self) -> bool { match *self {} }
}
impl ::core::cmp::Eq for $Type { }
impl ::core::cmp::PartialOrd for $Type {
fn partial_cmp(&self, _: &Self) -> Option<::core::cmp::Ordering> { match *self {} }
}
impl ::core::cmp::Ord for $Type {
fn cmp(&self, _: &Self) -> ::core::cmp::Ordering { match *self {} }
}
impl ::core::clone::Clone for $Type {
fn clone(&self) -> Self { match *self {} }
}
impl ::core::marker::Copy for $Type {}
impl ::core::hash::Hash for $Type {
fn hash<H>(&self, _: &mut H) where H: ::core::hash::Hasher { match *self {} }
}
impl ::core::default::Default for $Type {
fn default() -> Self { unreachable!() }
}
impl ::core::fmt::Debug for $Type {
fn fmt(&self, _: &mut ::core::fmt::Formatter) -> ::core::result::Result<(), ::core::fmt::Error> {
match *self {}
}
}
);
}
pub mod consts;
pub mod bit;
pub mod uint;
pub mod int;
pub mod private;
pub mod marker_traits;
pub mod type_operators;
pub mod operator_aliases;
pub use consts::*;
pub use marker_traits::{NonZero, Ord, Bit, Unsigned, Integer};
pub use type_operators::{Cmp, Pow, Same};
pub use operator_aliases::{And, Or, Xor, Shleft, Shright, Sum, Diff, Prod, Quot, Mod, Negate, Exp, Add1, Sub1, Square, Cube, Compare};
pub use bit::{B0, B1};
pub use uint::{UInt, UTerm};
pub use int::{NInt, PInt};
pub enum Greater {}
impl_derivable!{Greater}
pub enum Less {}
impl_derivable!{Less}
pub enum Equal {}
impl_derivable!{Equal}
impl Ord for Greater {
#[inline]
fn to_ordering() -> Ordering {
Ordering::Greater
}
}
impl Ord for Less {
#[inline]
fn to_ordering() -> Ordering {
Ordering::Less
}
}
impl Ord for Equal {
#[inline]
fn to_ordering() -> Ordering {
Ordering::Equal
}
}