| Name : ghc-dimensional
| |
| Version : 1.0.1.3
| Vendor : openSUSE
|
| Release : bp150.2.6
| Date : 2018-07-30 20:40:51
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-dimensional-1.0.1.3-bp150.2.6.src.rpm
|
| Size : 0.87 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Statically checked physical dimensions, using Type Families and Data Kinds
|
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 7.8 or later.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64 |
