File: SI.fs

package info (click to toggle)
fsharp 3.1.1.26%2Bdfsg2-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 59,244 kB
  • ctags: 4,190
  • sloc: cs: 13,398; ml: 1,098; sh: 399; makefile: 293; xml: 82
file content (113 lines) | stat: -rwxr-xr-x 2,376 bytes parent folder | download
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
// (c) Microsoft Corporation 2005-2009. 

namespace Microsoft.FSharp.Math


// System Internationale. See http://www.bipm.org/en/si/si_brochure/general.html
/// The International System of Units (SI)
[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module SI =

  [<Measure>] 
  /// metre (or meter), SI unit of length
  type m               

  [<Measure>] 
  /// kilogram, SI unit of mass
  type kg

  [<Measure>] 
  /// second, SI unit of time
  type s

  [<Measure>] 
  /// ampere, SI unit of electric current
  type A             

  [<Measure>] 
  /// kelvin, SI unit of thermodynamic temperature
  type K              

  [<Measure>] 
  /// mole, SI unit of amount of substance
  type mol             

  [<Measure>] 
  /// candela, SI unit of luminous intensity
  type cd              

  [<Measure>] 
  /// hertz, SI unit of frequency
  type Hz = s^-1

  [<Measure>] 
  /// newton, SI unit of force
  type N = kg m / s^2 

  [<Measure>] 
  /// pascal, SI unit of pressure, stress
  type Pa = N / m^2

  [<Measure>] 
  /// joule, SI unit of energy, work, amount of heat
  type J = N m

  [<Measure>] 
  /// watt, SI unit of power, radiant flux
  type W = J / s       

  [<Measure>] 
  /// coulomb, SI unit of electric charge, amount of electricity
  type C = s A 

  [<Measure>] 
  /// volt, SI unit of electric potential difference, electromotive force
  type V = W/A        

  [<Measure>] 
  /// farad, SI unit of capacitance
  type F = C/V

  [<Measure>] 
  /// ohm, SI unit of electric resistance
  type ohm = V/A       

  [<Measure>] 
  /// siemens, SI unit of electric conductance
  type S = A/V         

  [<Measure>] 
  /// weber, SI unit of magnetic flux
  type Wb = V s        

  [<Measure>] 
  /// tesla, SI unit of magnetic flux density
  type T = Wb/m^2      

  [<Measure>] 
  /// henry, SI unit of inductance
  type H = Wb/A        

  [<Measure>] 
  /// lumen, SI unit of luminous flux
  type lm = cd        

  [<Measure>] 
  /// lux, SI unit of illuminance
  type lx = lm/m^2 

  [<Measure>] 
  /// becquerel, SI unit of activity referred to a radionuclide
  type Bq = s^-1       

  [<Measure>] 
  /// gray, SI unit of absorbed dose
  type Gy = J/kg       

  [<Measure>] 
  /// sievert, SI unit of does equivalent
  type Sv = J/kg       

  [<Measure>] 
  /// katal, SI unit of catalytic activity
  type kat = mol/s