rinia 0.0.11

Stable numeric foundations for graphics, animation, and simulation.
Documentation 
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

use core::ops::{
    Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Rem, RemAssign, Sub, SubAssign,
};

use crate::{
    algebra::{ApproxEqAbs, ApproxEqRel},
    numeric::{
        Abs, BoundedMax, BoundedMin, Cbrt, CheckedAdd, CheckedDiv, CheckedMul, CheckedNeg,
        CheckedRem, CheckedSub, Clamp, Exponential, Half, Hyperbolic, Hypot, Infinite, IsFinite,
        IsInfinite, IsNan, MinMax, MulAdd, Nan, NegOne, One, Power, Rounding, SaturatingAdd,
        SaturatingDiv, SaturatingMul, SaturatingNeg, SaturatingSub, SignedEquivalent, Sqrt,
        Trigonometry, Two, UnsignedEquivalent, WrappingAdd, WrappingDiv, WrappingMul, WrappingNeg,
        WrappingRem, WrappingSub, Zero,
    },
};

/// Marker trait for scalar types.
pub trait Scalar {}

/// Marker trait for signed scalar types.
pub trait Signed: Scalar {}

/// Marker trait for unsigned scalar types.
pub trait Unsigned: Scalar {}

/// Marker trait for floating-point scalar types.
pub trait Float: Signed {}

/// Marker trait for integer scalar types.
pub trait Int: Scalar + SignedEquivalent + UnsignedEquivalent {}

/// Marker trait for signed integer scalar types.
pub trait SignedInt: Signed + Int {}

/// Marker trait for unsigned integer scalar types.
pub trait UnsignedInt: Unsigned + Int {}

/// Marker trait for types that have an associated scalar type.
pub trait HasScalar {
    /// The associated scalar type.
    type Scalar: Scalar;
}

/// Marker trait for scalar types that implement the basic set of scalar math ops.
pub trait ScalarOps:
    Scalar
    + Copy
    + core::fmt::Debug
    + PartialEq
    + PartialOrd
    + MinMax
    + Clamp
    + BoundedMin
    + BoundedMax
    + Zero
    + One
    + Two
    + Add<Output = Self>
    + AddAssign
    + Sub<Output = Self>
    + SubAssign
    + Mul<Output = Self>
    + MulAssign
    + Div<Output = Self>
    + DivAssign
    + Rem<Output = Self>
    + RemAssign
{
}

/// Marker trait for signed scalar types that implement the basic set of signed scalar math ops.
pub trait SignedOps: ScalarOps + Signed + Abs + Neg<Output = Self> + NegOne {}

// Marker trait for integer scalar types that implement the basic set of integer scalar math ops.
pub trait IntOps: Int + ScalarOps {}

// Marker trait for signed integer scalar types that implement the basic set of signed integer scalar math ops.
pub trait SignedIntOps: SignedInt + IntOps + SignedOps {}

// Marker trait for checked integer scalar types that implement the basic set of checked integer scalar math ops.
pub trait CheckedIntOps:
    IntOps + CheckedAdd + CheckedSub + CheckedMul + CheckedDiv + CheckedRem
{
}

// Marker trait for saturating integer scalar types that implement the basic set of saturating integer scalar math ops.
pub trait SaturatingIntOps:
    IntOps + SaturatingAdd + SaturatingSub + SaturatingMul + SaturatingDiv
{
}

// Marker trait for wrapping integer scalar types that implement the basic set of wrapping integer scalar math ops.
pub trait WrappingIntOps:
    IntOps + WrappingAdd + WrappingSub + WrappingMul + WrappingDiv + WrappingRem
{
}

// Marker trait for checked signed scalar types that can be negated.
pub trait CheckedIntNegOps: CheckedNeg {}

// Marker trait for saturating signed scalar types that can be negated.
pub trait SaturatingIntNegOps: SaturatingNeg {}

// Marker trait for wrapping signed scalar types that can be negated.
pub trait WrappingIntNegOps: WrappingNeg {}

/// Marker trait for floating-point scalar types that implement the basic set of floating-point math ops.
pub trait FloatOps:
    Float
    + SignedOps
    + Rounding
    + IsFinite
    + Infinite
    + IsInfinite
    + Nan
    + IsNan
    + MulAdd
    + Sqrt
    + Trigonometry
    + Exponential
    + Power
    + Cbrt
    + Hyperbolic
    + Hypot
    + ApproxEqAbs<Tolerance = Self>
    + ApproxEqRel<Tolerance = Self>
    + Half
{
}