name: science-constants-dimensional version: 0.1.0.1 license: BSD3 license-File: LICENSE author: Anton Vorontsov maintainer: Anton Vorontsov category: Science, Math, Physics, Chemistry 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 > > :10:14: > Couldn't match type `Numeric.NumType.Pos > (Numeric.NumType.Pos Numeric.NumType.Zero)' > with `Numeric.NumType.Zero' . [1] . [2] build-type: Simple cabal-version: >=1.10 source-repository head type: darcs location: http://code.haskell.org/science-constants-dimensional library ghc-options: -Wall default-language: Haskell2010 build-depends: base >=4.6 && <4.7 , science-constants >= 0.2 , numtype , dimensional hs-source-dirs: src exposed-modules: Science.Constants.Dimensional Science.Constants.Dimensional.Short Science.Constants.Dimensional.Private