science-constants-dimensional: Mathematical/physical/chemical constants

[ bsd3, chemistry, library, math, physics, science ] [ Propose Tags ]

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


But this will not:

λ= massOfProton / massOfElectron + planckConstant

    Couldn't match type `Numeric.NumType.Pos
                           (Numeric.NumType.Pos Numeric.NumType.Zero)'
                  with `Numeric.NumType.Zero'
Versions [faq],,
Dependencies base (==4.6.*), dimensional, numtype, science-constants (>=0.2) [details]
License BSD-3-Clause
Author Anton Vorontsov <>
Maintainer Anton Vorontsov <>
Category Science, Math, Physics, Chemistry
Source repo head: darcs get
Uploaded by cbou at Mon Sep 15 22:20:38 UTC 2014
Distributions NixOS:
Downloads 1228 total (51 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees