-
Notifications
You must be signed in to change notification settings - Fork 11
/
SIDerivedUnits.idr
118 lines (94 loc) · 2.14 KB
/
SIDerivedUnits.idr
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
module Quantities.Units
import Quantities.Core
import Quantities.SIBaseQuantities
import Quantities.SIDerivedQuantities
import Quantities.SIBaseUnits
%default total
%access public export
Radian : Unit PlaneAngle
Radian = One
Rad : Unit PlaneAngle
Rad = One
Steradian : Unit SolidAngle
Steradian = One
Sr : Unit SolidAngle
Sr = Steradian
Hertz : Unit Frequency
Hertz = Second ^^ (-1)
Hz : Unit Frequency
Hz = Hertz
Newton : Unit Force'
Newton = ((Metre <//> Second) <//> Second) <**> Kilogram
N : Unit Force'
N = Newton
Pascal : Unit Pressure
Pascal = Newton <//> (Metre ^^ 2)
Pa : Unit Pressure
Pa = Pascal
Joule : Unit Energy
Joule = Newton <**> Metre
J : Unit Energy
J = Joule
Watt : Unit Power
Watt = Joule <//> Second
W : Unit Power
W = Watt
Coulomb : Unit ElectricCharge
Coulomb = Second <**> Ampere
C : Unit ElectricCharge
C = Coulomb
Volt : Unit ElectricPotentialDifference
Volt = Watt <//> Ampere
V : Unit ElectricPotentialDifference
V = Volt
Farad : Unit Capacitance
Farad = Coulomb <//> Volt
F : Unit Capacitance
F = Farad
Ohm : Unit ElectricResistance
Ohm = Volt <//> Ampere
Siemens : Unit ElectricConductance
Siemens = Ampere <//> Volt
S : Unit ElectricConductance
S = Siemens
Weber : Unit MagneticFlux
Weber = Second <**> Volt
Wb : Unit MagneticFlux
Wb = Weber
Tesla : Unit MagneticFluxDensity
Tesla = Weber <//> (Metre ^^ 2)
T : Unit MagneticFluxDensity
T = Tesla
Henry : Unit Inductance
Henry = Weber <//> Ampere
H : Unit Inductance
H = Henry
-- For relative temperature measurements
Celsius : Unit Temperature
Celsius = Kelvin
DC : Unit Temperature
DC = Celsius
Lumen : Unit LuminousFlux
Lumen = Candela <**> Steradian
Lm : Unit LuminousFlux
Lm = Lumen
Lux : Unit Illuminance
Lux = Lumen <//> (Metre ^^ 2)
Lx : Unit Illuminance
Lx = Lux
Becquerel : Unit ActivityReferredToARadionuclide
Becquerel = Second ^^ (-1)
Bq : Unit ActivityReferredToARadionuclide
Bq = Becquerel
Gray : Unit AbsorbedDose
Gray = Joule <//> Kilogram
Gy : Unit AbsorbedDose
Gy = Gray
Sievert : Unit DoseEquivalent
Sievert = Joule <//> Kilogram
Sv : Unit DoseEquivalent
Sv = Sievert
Katal : Unit CatalyticActivity
Katal = Mol <//> Second
Kat : Unit CatalyticActivity
Kat = Katal