Package1.6.2MathPhysics
dimensional
Statically checked physical dimensions
- Version1.6.2
- CategoryMath, Physics
- LicenceBSD-3-Clause
- AuthorBjorn Buckwalter
- Maintainerbjorn@buckwalter.se
- Homepagegithub.com/bjornbm/dimensional
- Pinned byhackage dimensional 1.6.2
- Sourcehackage.haskell.org/package/dimensional-1.6.2
Modules
- Numeric.Units.DimensionalSummary In this module we provide data types for performing arithmetic with
- Numeric.Units.Dimensional.CoercionRe-exports the raw Quantity constructor from the Numeric.Units.Dimensional.Internal module, along with coerce,
- Numeric.Units.Dimensional.DimensionsProvides both term-level and type-level representations for physical dimensions in
- Numeric.Units.Dimensional.DynamicDefines types for manipulation of units and quantities without phantom types for their dimensions.
- Numeric.Units.Dimensional.FixedPointDefines types for manipulation of quantities with fixed point representations.
- Numeric.Units.Dimensional.FloatDefines convenience functions for inspecting and manipulating quantities with RealFloat
- Numeric.Units.Dimensional.FunctorProvides a Functor instance for Dimensional. Note that this instance is dubious, because it allows you to break the dimensional abstracti…
- Numeric.Units.Dimensional.NonSISummary This module defines units that are not part of the SI, with the
- Numeric.Units.Dimensional.PreludeSummary This module supplies a convenient set of imports for working with the dimensional package, including aliases for common Quantitys…
- Numeric.Units.Dimensional.QuantitiesSummary This module defines type synonyms for common dimensionalities and
- Numeric.Units.Dimensional.SIUnitsSummary This module defines the SI prefixes, the SI base units and the SI
- Numeric.Units.Dimensional.UnitNamesThis module provides types and functions for manipulating unit names. Please note that the details of the name representation may be less…
- Numeric.Units.Dimensional.UnitNames.InterchangeNames
Internal modules · 3
- Numeric.Units.Dimensional.Dimensions.TermLevelThis module defines physical dimensions expressed in terms of
- Numeric.Units.Dimensional.Dimensions.TypeLevelThis module defines type-level physical dimensions expressed in terms of
- Numeric.Units.Dimensional.VariantsProvides a type level representation of Variants of dimensional values,
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 wrapping and unwrapping 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.
Depends on
6 packages- base-4.23.0.0with GHC
- deepseq-1.5.2.0with GHC
- exact-pi-0.5.1.0in this set
- ieee754-0.8.0in this set
- numtype-dk-0.5.0.3in this set
- vector-0.13.2.0in this set
Used by in this set · 0
Nothing in this set depends on it.