name: dimensional version: 1.3 x-revision: 1 license: BSD3 license-file: LICENSE copyright: Bjorn Buckwalter 2006-2018 author: Bjorn Buckwalter maintainer: bjorn@buckwalter.se stability: experimental homepage: https://github.com/bjornbm/dimensional/ bug-reports: https://github.com/bjornbm/dimensional/issues/ category: Math, Physics synopsis: Statically checked physical dimensions, using Type Families and Data Kinds. cabal-version: >= 1.10 tested-with: GHC == 8.0.1, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.1 build-type: Simple description: Dimensional is a library providing data types for performing arithmetic with physical quantities and units. Information about the physical dimensions of the quantities and units is embedded in their types and the validity of operations is verified by the type checker at compile time. The boxing and unboxing of numerical values as quantities is done by multiplication and division with units. The library is designed to, as far as is practical, enforce/encourage best practices of unit usage. Version 1 of the dimensional package differs from earlier version in that the dimension tracking is implemented using Closed Type Families and Data Kinds rather than functional dependencies. This enables a number of features, including improved support for unit names and quantities with statically-unknown dimensions. Requires GHC 8.0 or later. extra-source-files: README.md, CHANGELOG.md, examples/ReadmeExample.hs, examples/GM.lhs source-repository head type: git location: https://github.com/bjornbm/dimensional/ library build-depends: base >= 4.9 && < 5, deepseq >= 1.3, exact-pi >= 0.4.1 && < 0.6, ieee754 >= 0.7.6, numtype-dk >= 0.5 && < 1.1, vector >= 0.10, semigroups hs-source-dirs: src default-language: Haskell2010 default-extensions: NoImplicitPrelude if impl(ghc >= 8.6) default-extensions: NoStarIsType ghc-options: -Wall exposed-modules: Numeric.Units.Dimensional, Numeric.Units.Dimensional.Coercion, Numeric.Units.Dimensional.Dimensions, Numeric.Units.Dimensional.Dimensions.TermLevel, Numeric.Units.Dimensional.Dimensions.TypeLevel, Numeric.Units.Dimensional.Dynamic, Numeric.Units.Dimensional.FixedPoint, Numeric.Units.Dimensional.Functor, Numeric.Units.Dimensional.NonSI, Numeric.Units.Dimensional.Prelude, Numeric.Units.Dimensional.Quantities, Numeric.Units.Dimensional.SIUnits, Numeric.Units.Dimensional.UnitNames, Numeric.Units.Dimensional.UnitNames.InterchangeNames, Numeric.Units.Dimensional.Variants, Numeric.Units.Dimensional.Float other-modules: Numeric.Units.Dimensional.Internal, Numeric.Units.Dimensional.UnitNames.Internal test-suite tests type: exitcode-stdio-1.0 main-is: Spec.hs hs-source-dirs: tests default-language: Haskell2010 default-extensions: NoImplicitPrelude if impl(ghc >= 8.6) default-extensions: NoStarIsType other-modules: Numeric.Units.DimensionalSpec Numeric.Units.Dimensional.DynamicSpec Numeric.Units.Dimensional.QuantitiesSpec ghc-options: -Wall build-depends: dimensional, hspec, QuickCheck, base build-tool-depends: hspec-discover:hspec-discover == 2.* test-suite doctests type: exitcode-stdio-1.0 ghc-options: -threaded main-is: DocTests.hs hs-source-dirs: tests default-language: Haskell2010 build-depends: dimensional, doctest, Glob, QuickCheck, template-haskell, base benchmark simple type: exitcode-stdio-1.0 hs-source-dirs: benchmarks main-is: Main.hs build-depends: base < 4.7, criterion, deepseq, dimensional default-language: Haskell2010 ghc-options: -O2