src/types.rs

Thu, 03 Sep 2026 11:55:09 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Thu, 03 Sep 2026 11:55:09 -0500
changeset 209
060891c3f537
parent 199
32f5062ee477
permissions
-rw-r--r--

p2powers_diff maybe fix

5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
1 /*!
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
2 Some useful (numerical) types and traits.
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
3
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
4 The traits are based on corresponding ones in [`num_traits`], but try to fill some gaps in the
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
5 super-traits and available constants.
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
6
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
7 As [`nalgebra`] unnecessarily provides many of the same methods as [`num_traits`], to avoid having
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
8 to refer to the methods with the full path, it is often necesary to use [`ToNalgebraRealField`][crate::nalgebra_support::ToNalgebraRealField] to hide the nalgebra implementations until
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
9 absolutely necessary to use nalgebra.
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
10 */
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
11
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
12 //use trait_set::trait_set;
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
13 pub use num_traits::cast::AsPrimitive;
199
32f5062ee477 num_traits::float::TotalOrder to Float trait bounds. Remove NaNLeast.
Tuomo Valkonen <tuomov@iki.fi>
parents: 195
diff changeset
14 pub use num_traits::float::TotalOrder;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
15 pub use num_traits::Float as NumTraitsFloat; // needed to re-export functions.
62
d8305c9b6fdf Move origin stuff to AXPY form Euclidean
Tuomo Valkonen <tuomov@iki.fi>
parents: 59
diff changeset
16
59
9226980e45a7 Significantly simplify Mapping / Apply through Instance
Tuomo Valkonen <tuomov@iki.fi>
parents: 32
diff changeset
17 pub use simba::scalar::{
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
18 ClosedAdd, ClosedAddAssign, ClosedDiv, ClosedDivAssign, ClosedMul, ClosedMulAssign, ClosedNeg,
59
9226980e45a7 Significantly simplify Mapping / Apply through Instance
Tuomo Valkonen <tuomov@iki.fi>
parents: 32
diff changeset
19 ClosedSub, ClosedSubAssign,
9226980e45a7 Significantly simplify Mapping / Apply through Instance
Tuomo Valkonen <tuomov@iki.fi>
parents: 32
diff changeset
20 };
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
21
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
22 /// Typical integer type
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
23 #[allow(non_camel_case_types)]
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
24 pub type int = i64;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
25
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
26 /// Typical unsigned integer type
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
27 #[allow(non_camel_case_types)]
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
28 pub type uint = u64;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
29
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
30 /// Typical floating point number type
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
31 #[allow(non_camel_case_types)]
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
32 pub type float = f64;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
33
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
34 /// Casts of abstract numerical types to others via the standard `as` keyword.
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
35 pub trait CastFrom<T: 'static + Copy>: num_traits::cast::AsPrimitive<T> {
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
36 fn cast_from(other: T) -> Self;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
37 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
38
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
39 macro_rules! impl_casts {
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
40 ($($type:ty)*) => { $(
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
41 impl_casts!(@phase2, $type,
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
42 u8 u16 u32 u64 u128 usize
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
43 i8 i16 i32 i64 i128 isize
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
44 f32 f64);
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
45 )* };
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
46 (@phase2, $type:ty, $($type2:ty)*) => { $(
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
47 impl CastFrom<$type2> for $type {
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
48 #[inline]
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
49 fn cast_from(other : $type2) -> Self { other as $type }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
50 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
51 )* };
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
52 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
53
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
54 impl_casts!(u8 u16 u32 u64 u128 usize
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
55 i8 i16 i32 i64 i128 isize
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
56 f32 f64);
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
57
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
58 /// Trait for general numeric types
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
59 pub trait Num:
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
60 'static
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
61 + Copy
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
62 + Sync
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
63 + Send
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
64 + num::Num
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
65 + num_traits::NumAssign
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
66 + std::iter::Sum
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
67 + std::iter::Product
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
68 + std::fmt::Debug
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
69 + std::fmt::Display
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
70 + serde::Serialize
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
71 + CastFrom<u8>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
72 + CastFrom<u16>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
73 + CastFrom<u32>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
74 + CastFrom<u64>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
75 + CastFrom<u128>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
76 + CastFrom<usize>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
77 + CastFrom<i8>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
78 + CastFrom<i16>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
79 + CastFrom<i32>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
80 + CastFrom<i64>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
81 + CastFrom<i128>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
82 + CastFrom<isize>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
83 + CastFrom<f32>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
84 + CastFrom<f64>
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
85 + crate::instance::ClosedSpace
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
86 {
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
87 const ZERO: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
88 const ONE: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
89 const TWO: Self;
8
4e09b7829b51 Multithreaded bisection tree operations
Tuomo Valkonen <tuomov@iki.fi>
parents: 5
diff changeset
90 /// Generic version of `Self::MAX`
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
91 const RANGE_MAX: Self;
8
4e09b7829b51 Multithreaded bisection tree operations
Tuomo Valkonen <tuomov@iki.fi>
parents: 5
diff changeset
92 /// Generic version of `Self::MIN`
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
93 const RANGE_MIN: Self;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
94 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
95
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
96 /// Trait for signed numeric types
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
97 pub trait SignedNum: Num + num::Signed + std::ops::Neg<Output = Self> {}
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
98 impl<U: Num + num::Signed + std::ops::Neg<Output = Self>> SignedNum for U {}
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
99
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
100 /// Trait for floating point numbers
199
32f5062ee477 num_traits::float::TotalOrder to Float trait bounds. Remove NaNLeast.
Tuomo Valkonen <tuomov@iki.fi>
parents: 195
diff changeset
101 pub trait Float:
32f5062ee477 num_traits::float::TotalOrder to Float trait bounds. Remove NaNLeast.
Tuomo Valkonen <tuomov@iki.fi>
parents: 195
diff changeset
102 SignedNum + std::fmt::LowerExp + num::Float + num_traits::float::TotalOrder
32f5062ee477 num_traits::float::TotalOrder to Float trait bounds. Remove NaNLeast.
Tuomo Valkonen <tuomov@iki.fi>
parents: 195
diff changeset
103 /*+ From<Self::CompatibleSize>*/
32f5062ee477 num_traits::float::TotalOrder to Float trait bounds. Remove NaNLeast.
Tuomo Valkonen <tuomov@iki.fi>
parents: 195
diff changeset
104 {
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
105 // An unsigned integer that can be used for indexing operations and
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
106 // converted to F without loss.
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
107 //type CompatibleSize : CompatibleUnsigned<Self>;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
108
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
109 const PI: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
110 const E: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
111 const EPSILON: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
112 const SQRT_2: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
113 const INFINITY: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
114 const NEG_INFINITY: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
115 const NAN: Self;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
116 const FRAC_2_SQRT_PI: Self;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
117 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
118
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
119 /// Trait for integers
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
120 pub trait Integer: Num + num::Integer {}
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
121
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
122 /// Trait for unsigned integers
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
123 pub trait Unsigned: Num + Integer + num::Unsigned {}
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
124
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
125 /// Trait for signed integers
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
126 pub trait Signed: SignedNum + Integer {}
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
127
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
128 macro_rules! impl_num_consts {
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
129 ($($type:ty)*) => { $(
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
130 impl Num for $type {
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
131 const ZERO : Self = 0 as $type;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
132 const ONE : Self = 1 as $type;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
133 const TWO : Self = 2 as $type;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
134 const RANGE_MAX : Self = <$type>::MAX;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
135 const RANGE_MIN : Self = <$type>::MIN;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
136 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
137 )* }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
138 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
139
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
140 macro_rules! impl_integers {
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
141 ($signed:ty : $($type:ty)*) => { $(
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
142 impl_num_consts!($type);
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
143 impl Integer for $type {}
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
144 impl $signed for $type {}
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
145 )* }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
146 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
147
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
148 impl_integers!(Signed: i8 i16 i32 i64 i128 isize);
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
149 impl_integers!(Unsigned: u8 u16 u32 u64 u128 usize);
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
150
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
151 impl_num_consts!(f32 f64);
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
152
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
153 impl Float for f64 {
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
154 /*#[cfg(any(target_pointer_width = "128", target_pointer_width = "64"))]
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
155 type CompatibleSize = u32;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
156 #[cfg(any(target_pointer_width = "32", target_pointer_width = "16"))]
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
157 type CompatibleSize = usize;*/
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
158
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
159 const PI: Self = std::f64::consts::PI;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
160 const E: Self = std::f64::consts::E;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
161 const EPSILON: Self = std::f64::EPSILON;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
162 const SQRT_2: Self = std::f64::consts::SQRT_2;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
163 const INFINITY: Self = std::f64::INFINITY;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
164 const NEG_INFINITY: Self = std::f64::NEG_INFINITY;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
165 const NAN: Self = std::f64::NAN;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
166 const FRAC_2_SQRT_PI: Self = std::f64::consts::FRAC_2_SQRT_PI;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
167 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
168
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
169 impl Float for f32 {
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
170 /*
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
171 #[cfg(any(target_pointer_width = "128", target_pointer_width = "64", target_pointer_width = "32"))]
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
172 type CompatibleSize = u16;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
173 #[cfg(any(target_pointer_width = "16"))]
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
174 type CompatibleSize = usize;
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
175 */
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
176
150
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
177 const PI: Self = std::f32::consts::PI;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
178 const E: Self = std::f32::consts::E;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
179 const EPSILON: Self = std::f32::EPSILON;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
180 const SQRT_2: Self = std::f32::consts::SQRT_2;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
181 const INFINITY: Self = std::f32::INFINITY;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
182 const NEG_INFINITY: Self = std::f32::NEG_INFINITY;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
183 const NAN: Self = std::f32::NAN;
Tuomo Valkonen <tuomov@iki.fi>
parents: 62
diff changeset
184 const FRAC_2_SQRT_PI: Self = std::f32::consts::FRAC_2_SQRT_PI;
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
185 }
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
186
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
187 /*
0
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
188 trait_set! {
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
189 pub trait CompatibleUnsigned<F : Float> = Unsigned + Into<F>;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
190 pub trait CompatibleSigned<F : Float> = Signed + Into<F>;
9f27689eb130 Initialise new clean repository
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
191 }
5
59dc4c5883f4 Improve documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
192 */

mercurial