units-2.0: units.cabal
name: units
version: 2.0
cabal-version: >= 1.10
synopsis: A domain-specific type system for dimensional analysis
homepage: http://www.cis.upenn.edu/~eir/packages/units
category: Math
author: Richard Eisenberg <eir@cis.upenn.edu>
maintainer: Richard Eisenberg <eir@cis.upenn.edu>, Takayuki Muranushi <muranushi@gmail.com>
bug-reports: https://github.com/goldfirere/units/issues
stability: experimental
extra-source-files: README.md, CHANGES.md
license: BSD3
license-file: LICENSE
build-type: Simple
description:
The units package provides a mechanism for compile-time
dimensional analysis in Haskell programs. It defines an embedded
type system based on units-of-measure. The units defined are fully
extensible, and need not relate to physical properties.
The package supports defining multiple inter-convertible units,
such as Meter and Foot. When extracting a number from a
dimensioned quantity, the desired unit must be specified, and the
value is converted into that unit.
If you are looking for specific systems of units (such as SI),
please see the `units-defs` package.
The Haddock documentation is insufficient for using the units
package. Please see the README file, available from the package
home page.
source-repository this
type: git
location: https://github.com/goldfirere/units.git
tag: v2.0
library
build-depends:
base >= 4.7 && < 5,
singletons >= 0.9 && < 1
exposed-modules:
Data.Metrology,
Data.Metrology.Internal,
Data.Metrology.Show,
Data.Metrology.Unsafe,
Data.Metrology.Z,
Data.Metrology.Set
other-modules:
Data.Metrology.Factor,
Data.Metrology.LCSU,
Data.Metrology.Quantity,
Data.Metrology.Dimensions,
Data.Metrology.Units,
Data.Metrology.Combinators,
Data.Metrology.Validity
-- cabal now recommends that TH be explicitly listed in cabal files
default-extensions: TemplateHaskell
default-language: Haskell2010
-- Here are some test scripts for `units`. Since `units` is a
-- type-level library and mainly works at compile time, we're just
-- testing if these programs compiles and runs properlly.
--
-- !IMPORTANT! You need to type
--
-- > make prepare-test
--
-- once, to bring the specific unit definitions from `units-defs`
-- into scope to run the tests.
Test-Suite travel
Type: exitcode-stdio-1.0
Hs-Source-Dirs: Test
Ghc-Options: -Wall
Main-Is: Travel.hs
Other-Modules:
Build-Depends:
base
, units
default-language: Haskell2010