dimensional
dimensional copied to clipboard
bjornbm
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
It seems the doctests (more specifically the way the test suite is set up) are more generally broken. This works: $ stack exec doctest src -- -XNoStarIsType Examples: 181 Tried:...
Unfortunately, the doctests don't work currently, but I have no idea why.
I ran into this one at work. 😮 https://www.efunda.com/forum/show_message.cfm?start=1&thread=1&id=30: > When I was working for Lockheed Martin, it was common to refer to mass as "snails". It was developed (I...
I haven't looked into this yet, but I'm sure existing thoughts exist. I can't currently use dimensional in my core data types because I'm being lazy and relying on `read`...
I'm trying to do physical simulation and need to represents position, velocity, acceleration and light quantities in a 3D space. The [`linear`](http://hackage.haskell.org/package/linear) package is really fine for this kind of...
What is our planned response to the coming redefinition of the SI base units? Under the new system, some derived units which were formerly experimentally determined will now have exact...
I would like the `Numeric.Units.Dimensional.SIUnits` and `Numeric.Units.Dimensional.NonSI` modules to provide monomorphic collections of all unit definitions published therein, for use by downstream packages that perform unit parsing. Perhaps this is...
The UCUM are changing their grammar to disallow exponents applied to grouped products of unit names, and to instead accept them only on base names. This will require a change...
I propose moving the experimentally defined units to `dimensional-codata` where they can be versioned alongside their values.
How much overhead does `dimensional` introduce? I understand that unit homogeneity is statically checked, but is there an overhead for unit manipulation (arithmetics, etc.)? Is it possible to unbox (`{-#...
