ucsi 0.1.0

SI-based unit typing system
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

//! See [the module-level documentation](super) for more information.

use core::marker::PhantomData;

use crate::{
    core::units::{any::{SiOpsUnit, SiAnyUnit}, base::BaseUnitMap},
    fraction::Fraction,
};

/// `TypeA * Type B`
/// 
/// This is not recommended to write the definition manually.
/// See [the `unit` macro][unit-macro] for more information.
/// 
/// [unit-macro]: crate::unit
pub struct Mul<L: SiOpsUnit, R: SiOpsUnit> {
    _l: PhantomData<L>,
    _r: PhantomData<R>,
}

impl<L: SiOpsUnit, R: SiOpsUnit> Mul<L, R> {
    /// Create an instance of the `Mul` type.
    pub const fn new() -> Mul<L, R> {
        Mul {
            _l: PhantomData,
            _r: PhantomData,
        }
    }
}

impl<L: SiOpsUnit, R: SiOpsUnit> SiOpsUnit for Mul<L, R> {
    const UNIT_MAP: BaseUnitMap = L::UNIT_MAP.add(R::UNIT_MAP);
}

impl<L: SiOpsUnit, R: SiOpsUnit> SiAnyUnit for Mul<L, R> {}


/// `TypeA / Type B`
/// 
/// This is not recommended to write the definition manually.
/// See [the `unit` macro][unit-macro] for more information.
/// 
/// [unit-macro]: crate::unit
pub struct Div<N: SiOpsUnit, D: SiOpsUnit> {
    _n: PhantomData<N>,
    _d: PhantomData<D>,
}

impl<N: SiOpsUnit, D: SiOpsUnit> Div<N, D> {
    /// Create an instance of the `Div` type.
    pub const fn new() -> Div<N, D> {
        Div {
            _n: PhantomData,
            _d: PhantomData,
        }
    }
}

impl<N: SiOpsUnit, D: SiOpsUnit> SiOpsUnit for Div<N, D> {
    const UNIT_MAP: BaseUnitMap = N::UNIT_MAP.add(D::UNIT_MAP.neg());
}

impl<N: SiOpsUnit, D: SiOpsUnit> SiAnyUnit for Div<N, D> {}


/// `TypeA ** { int32 }`
/// 
/// This is not recommended to write the definition manually.
/// See [the `unit` macro][unit-macro] for more information.
/// 
/// [unit-macro]: crate::unit
pub struct PowI<B: SiOpsUnit, const P: i32> {
    _b: PhantomData<B>,
}

impl<B: SiOpsUnit, const P: i32> PowI<B, P> {
    /// Create an instance of the `PowI` type.
    pub const fn new() -> PowI<B, P> {
        PowI { _b: PhantomData }
    }
}

impl<B: SiOpsUnit, const P: i32> SiOpsUnit for PowI<B, P> {
    const UNIT_MAP: BaseUnitMap = B::UNIT_MAP.imul(P);
}

impl<B: SiOpsUnit, const P: i32> SiAnyUnit for PowI<B, P> {}


/// `TypeA ** { int32 / uint32 }`
/// 
/// This is not recommended to write the definition manually.
/// See [the `unit` macro][unit-macro] for more information.
/// 
/// [unit-macro]: crate::unit
pub struct PowFrac<B: SiOpsUnit, const N: i32, const D: u32> {
    _b: PhantomData<B>,
}

impl<B: SiOpsUnit, const N: i32, const D: u32> PowFrac<B, N, D> {
    /// Create an instance of the `PowFrac` type.
    pub const fn new() -> PowFrac<B, N, D> {
        PowFrac { _b: PhantomData }
    }
}

impl<B: SiOpsUnit, const N: i32, const D: u32> SiOpsUnit for PowFrac<B, N, D> {
    const UNIT_MAP: BaseUnitMap = B::UNIT_MAP.fmul(Fraction::new(N, D));
}

impl<B: SiOpsUnit, const N: i32, const D: u32> SiAnyUnit for PowFrac<B, N, D> {}