The latest version of science-constants-dimensional is 0.1.0.3-0.
science-constants-dimensional
Version 0.1.0.0 revision 0 uploaded by cbou.
Package meta
- Synopsis
- Mathematical/physical/chemical constants
- Description
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'
- Author
- Anton Vorontsov <anton@enomsg.org>
- Bug reports
- n/a
- Category
- Science, Math, Physics, Chemistry
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Anton Vorontsov <anton@enomsg.org>
- Package URL
- n/a
- Stability
- n/a