Debian logoDebian Screenshots >


statically checked physical dimensions; profiling libraries


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.

This package provides a library for the Haskell programming language, compiled for profiling. See for more information on Haskell.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



330 other people were interested in this package here. The newest known version of this software is (Information last updated 1 day ago.)