science-constants-dimensional: Mathematical/physical/chemical constants
Science.Constants.Dimensional is a variant of Science.Constants[1] package, with the only difference is that that the dimensional flavor provides (where applicable) dimensionally-typed constants. The Numeric.Units.Dimensional[2] wrappers allow to write type-safe formulas, for example all of this will successfully type-check:
~$ ghci -XNoImplicitPrelude λ= import Numeric.Units.Dimensional.Prelude λ= import Science.Constants.Dimensional λ= massOfProton + massOfElectron 1.673532715291e-27 kg λ= massOfProton / massOfElectron 1836.1526719486646
But this will not:
λ= massOfProton / massOfElectron + planckConstant <interactive>:10:14: Couldn't match type `Numeric.NumType.Pos (Numeric.NumType.Pos Numeric.NumType.Zero)' with `Numeric.NumType.Zero'
Modules
[Index] [Quick Jump]
Downloads
- science-constants-dimensional-0.1.0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3 |
---|---|
Dependencies | base (>=4.6 && <5), dimensional (<=1.3), numtype-dk, science-constants (>=0.2) [details] |
License | BSD-3-Clause |
Author | Anton Vorontsov <anton@enomsg.org> |
Maintainer | Anton Vorontsov <anton@enomsg.org> |
Category | Science, Math, Physics, Chemistry |
Source repo | head: git clone https://github.com/enomsg/science-constants-dimensional |
Uploaded | by cbou at 2020-01-13T11:39:50Z |
Distributions | NixOS:0.1.0.3 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 2550 total (4 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2020-01-13 [all 1 reports] |