sity 0.2.1

International System of Units (SI) Typing
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
130
131
132
133
134
135
136

use super::*;

pub struct SI;

impl SI {
    //------------------------- Value -------------------------

    pub fn value<T: Copy>(value: T) -> Value<T> {
        Value::new(value)
    }

    //------------------------- Meter -------------------------

    pub fn _m<T: Copy, P: Prefix>(value: T) -> Metre_<T, P> {
        Metre_::new(value)
    }
    pub fn m<T: Copy>(value: T) -> Metre<T> {
        Metre_::new(value)
    }
    pub fn km<T: Copy>(value: T) -> KiloMetre<T> {
        Metre_::new(value)
    }
    pub fn dm<T: Copy>(value: T) -> DeciMetre<T> {
        Metre_::new(value)
    }
    pub fn cm<T: Copy>(value: T) -> CentiMetre<T> {
        Metre_::new(value)
    }
    pub fn mm<T: Copy>(value: T) -> MilliMetre<T> {
        Metre_::new(value)
    }

    //------------------------- Gram -------------------------

    pub fn _g<T: Copy, P: Prefix>(value: T) -> Gram_<T, P> {
        Gram_::new(value)
    }
    pub fn kg<T: Copy>(value: T) -> KiloGram<T> {
        Gram_::new(value)
    }
    pub fn g<T: Copy>(value: T) -> Gram<T> {
        Gram_::new(value)
    }

    //------------------------- Second -------------------------

    pub fn _s<T: Copy, P: Prefix>(value: T) -> Second_<T, P> {
        Second_::new(value)
    }
    pub fn s<T: Copy>(value: T) -> Second<T> {
        Second::new(value)
    }
    pub fn ms<T: Copy>(value: T) -> MilliSecond<T> {
        MilliSecond::new(value)
    }
}

//------------------------- Value -------------------------

pub type Value<T> = Quantity<T, Exp0, Exp0, Exp0, Exp0, Exp0>;

//------------------------- Meter -------------------------

pub type Metre_<T, P> = Quantity<T, Exp1<P>, Exp0, Exp0, Exp0, Exp0>;

pub type Metre<T> = Metre_<T, One>;

pub type KiloMetre<T> = Metre_<T, Kilo>;
pub type DeciMetre<T> = Metre_<T, Deci>;
pub type CentiMetre<T> = Metre_<T, Centi>;
pub type MilliMetre<T> = Metre_<T, Milli>;

//------------------------- Gram -------------------------

pub type Gram_<T, P> = Quantity<T, Exp0, Exp1<P>, Exp0, Exp0, Exp0>;

pub type Gram<T> = Gram_<T, One>;
pub type KiloGram<T> = Gram_<T, Kilo>;

//------------------------- Second -------------------------

pub type Second_<T, P> = Quantity<T, Exp0, Exp0, Exp1<P>, Exp0, Exp0>;

pub type Second<T> = Second_<T, One>;

pub type MilliSecond<T> = Second_<T, Milli>;
pub type MicroSecond<T> = Second_<T, Micro>;
pub type NanoSecond<T> = Second_<T, Nano>;

//------------------------- Ampere -------------------------

pub type Ampere<T> = Quantity<T, Exp0, Exp0, Exp0, Exp1<One>, Exp0>;

//------------------------- Kelvin -------------------------

pub type Kelvin<T> = Quantity<T, Exp0, Exp0, Exp0, Exp0, Exp1<One>>;

//------------------------- Newton = m⋅kg⋅s-2 -------------------------

pub type Newton<T> = Quantity<T, Exp1<One>, Exp1<Kilo>, Exp_2<One>, Exp0, Exp0>;

//------------------------- Pascal = m-1⋅kg⋅s-2 -------------------------

pub type Pascal<T> = Quantity<T, Exp_1<One>, Exp1<Kilo>, Exp_2<One>, Exp0, Exp0>;

//------------------------- Volt = m2⋅kg.s-3⋅A-1 -------------------------

pub type Volt<T> = Quantity<T, Exp2<One>, Exp1<Kilo>, Exp_3<One>, Exp_1<One>, Exp0>;

//------------------------- Joule = m2⋅kg⋅s-2 -------------------------

pub type Joule<T> = Quantity<T, Exp2<One>, Exp1<Kilo>, Exp_2<One>, Exp0, Exp0>;

//------------------------- Watt = m2⋅kg⋅s-3  -------------------------

pub type Watt<T> = Quantity<T, Exp2<One>, Exp1<Kilo>, Exp_3<One>, Exp0, Exp0>;

//------------------------- Hertz = s-1  -------------------------

pub type Hertz<T> = Quantity<T, Exp0, Exp0, Exp_1<One>, Exp0, Exp0>;

//------------------------- Coulomb = s.A  -------------------------

pub type Coulomb<T> = Quantity<T, Exp0, Exp0, Exp1<One>, Exp1<One>, Exp0>;

//------------------------- Ohm = m2⋅kg⋅s−3⋅A−2  -------------------------

pub type Ohm<T> = Quantity<T, Exp2<One>, Exp1<Kilo>, Exp_3<One>, Exp_2<One>, Exp0>;

//------------------------- Velocity = m.s-1  -------------------------

pub type Velocity<T> = Quantity<T, Exp1<One>, Exp0, Exp_1<One>, Exp0, Exp0>;

//------------------------- Acceleration = m.s-2  -------------------------

pub type Acceleration<T> = Quantity<T, Exp1<One>, Exp0, Exp_2<One>, Exp0, Exp0>;