dana 0.4.0

Compile-time dimensional analysis via generic types.
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

use super::*;


//region Whole exponents.
/// Trait for a type that can be raised to a power.
pub trait CanPow<const E: i32>: Unit {
    /// The result of the operation.
    type Output: Unit;

    /// Raise this unit to the power of the const parameter `E`.
    fn pow(self) -> Self::Output;
}


/// Trait for a type that can be raised to the second power.
pub trait CanSquare: Unit {
    /// The result of the operation.
    type Output: Unit;

    /// Return the square of this unit.
    fn squared(self) -> Self::Output;
}

impl<U: CanPow<2>> CanSquare for U {
    type Output = U::Output;
    fn squared(self) -> Self::Output { self.pow() }
}


/// Trait for a type that can be raised to the third power.
pub trait CanCube: Unit {
    /// The result of the operation.
    type Output: Unit;

    /// Return the cube of this unit.
    fn cubed(self) -> Self::Output;
}

impl<U: CanPow<3>> CanCube for U {
    type Output = U::Output;
    fn cubed(self) -> Self::Output { self.pow() }
}
//endregion


//region Roots.
/// Trait for a type that can be taken to an exponential root.
pub trait CanRoot<const D: i32>: Unit {
    /// The result of the operation.
    type Output: Unit;

    /// Take the root of this unit to the degree of the const parameter `D`.
    fn root(self) -> Self::Output;
}


/// Trait for a type that can be taken to the second root.
pub trait CanSquareRoot: Unit {
    /// The result of the operation.
    type Output: Unit;

    /// Return the square root of this unit.
    fn sqrt(self) -> Self::Output;
}

impl<U: CanRoot<2>> CanSquareRoot for U {
    type Output = U::Output;
    fn sqrt(self) -> Self::Output { self.root() }
}


/// Trait for a type that can be taken to the third root.
pub trait CanCubeRoot: Unit {
    /// The result of the operation.
    type Output: Unit;

    /// Return the cube root of this unit.
    fn cbrt(self) -> Self::Output;
}

impl<U: CanRoot<3>> CanCubeRoot for U {
    type Output = U::Output;
    fn cbrt(self) -> Self::Output { self.root() }
}
//endregion