
Number.Physical.Unit  Portability  portable  Stability  provisional  Maintainer  numericprelude@henningthielemann.de 



Description 
Abstract Physical Units


Synopsis 



Documentation 


A Unit.T is a sparse vector with integer entries
Each map n>m means that the unit of the nth dimension
is given m times.
Example: Let the quantity of length (meter, m) be the zeroth dimension
and let the quantity of time (second, s) be the first dimension,
then the composed unit m_s corresponds to the Map
[(0,1),(1,2)]
In future I want to have more abstraction here,
e.g. a type class from the Edison project
that abstracts from the underlying implementation.
Then one can easily switch between
Arrays, Binary trees (like Map) and what know I.



The neutral Unit.T



Test for the neutral Unit.T



Convert a List to sparse Map representation
Example: [1,0,2] > [(0,1),(2,2)]



Convert Map to a List








Produced by Haddock version 2.4.2 