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