# simple-units: Simple arithmetic with SI units using type-checked dimensional analysis.

[ library, mit, numeric, numerical ] [ Propose Tags ] ## Modules

[Index]

#### Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0.0.0, 1.0.1.0, 1.0.1.1, 1.0.2 base (>=4.9 && <5), first-class-families (>=0.4 && <0.9) [details] MIT 2019 Gustavo Roscoe Gustavo Roscoe gustavo@gustavoroscoe.com Numeric, Numerical https://github.com/groscoe/simple-units#readme https://github.com/groscoe/simple-units/issues head: git clone https://github.com/groscoe/simple-units by groscoe at 2021-02-27T17:17:51Z NixOS:1.0.2 1356 total (10 in the last 30 days) (no votes yet) [estimated by Bayesian average] λ λ λ Docs uploaded by userBuild status unknown

[back to package description]

# simple-units

A Haskell library for simple arithmetic with SI units using type-checked dimensional analysis.

View on hackage.

# Example

>>> let newton = kilogram .* meter ./ (second .* second)
>>> 23*newton
23.0 kg*m/s^2

>>> let g = 6.67408e-11 * newton .* (meter .* meter) ./ (kilogram .* kilogram)
>>> g -- gravitational constant
6.67408e-11 m^3/kg*s^2

>>> let gravity m1 m2 r = g .* (m1 * kilogram) .* (m2 * kilogram) ./ (r*meter .* r*meter)
>>> let earth_mass = 5.972e24 * kilogram
>>> let mars_mass = 6.417e23 * kilogram
>>> let earth_radius = 6371 * kilo meter
>>> let mars_radius = 3389.5 * kilo meter
>>> let weight_on_earth mass = gravity mass earth_mass earth_radius
>>> let weight_on_mars mass = gravity mass mars_mass mars_radius
>>> weight_on_earth (80 * kilogram)
785.5719790179963 kg*m/s^2

>>> weight_on_mars (80 * kilogram)
298.22370259533704 kg*m/s^2

>>> weight_on_mars 1 ./ weight_on_earth 1