1. Thijs Alkemade
  2. haskell-unittyped

Commits

Author Commit Message Date Builds
Takayuki Muranushi
rename ~> as *| .
Thijs Alkemade
Replaced show_unit with toSuperScript.
Thijs Alkemade
This failed with mueval. Let's see if it works like this.
Thijs Alkemade
Add the language pragmas every, so I don't have to use cabal. Fix a kind signature in Meta.
Thijs Alkemade
Updated a lot of haddock comments, removed some unused code and exports.
Thijs Alkemade
Added a shorthand for singleton lists with value POne. Made all proxies empty datatypes. Implemented prettier notation for higher power units.
Thijs Alkemade
Switched to the automatically lifted lists with tuples, instead of my own map. Everything seems to work again, except: - My weird instances for Num were broken, I've removed them. - Pow doesn't work yet.
Thijs Alkemade
Multiplying the same unit now works, just some problems with meter .*. second still.
Thijs Alkemade
Refactored everything to use maps for the units, just like for the dimensions. Pow is still broken, as is probably a lot of other stuff I haven't tested. Removed Currency, as it was controversial. Refs #1
Thijs Alkemade
Added a way to build strings from a value into multiple units, like: "5 km, 42 m, 3 mm" Removed (.) as an alias for (.$.), it was too impractical to not have (Prelude..). (.$.) is now (~>). Added a couple more mathematical functions to NoPrelude.
Thijs Alkemade
Made tyvar name usage a bit more consistent here.
Thijs Alkemade
Fix this class to be correctly spelled...
Thijs Alkemade
Added functions to make converting time ranges from Data.Time easy.
Thijs Alkemade
Added tag 0.1 for changeset cdad15460f2c
Thijs Alkemade
Final tweak to the cabal file.
Tags
0.1
Thijs Alkemade
Prepared the cabal file to release 0.1!
Thijs Alkemade
100% haddock coverage. Relicensed under LGPL-2.1.
Thijs Alkemade
Lots of haddock documentation added. Some stuff hidden from export.
Thijs Alkemade
Be a bit more lenient about the version of base, remove the InstanceSigs extension. Still doesn't compile with 7.4.2 for me, though. GHC panics.
Thijs Alkemade
Some tests for the previous 2 commits.
Thijs Alkemade
I may not be able to express unit ^ integer, I can write a class that raises a value to the power of a type level number! Rewrote the hard-coded power functions to use this class.
Thijs Alkemade
I can not express unit ^ integer, as the result type would depend on the value of the integer. Add some fixed definitions of power functions.
Thijs Alkemade
Added a fake pi that does not require Floating, so it can be compared.
Thijs Alkemade
Fix some hlint warnings.
Thijs Alkemade
Added some more syntactic sugar, fix typo in README.
Thijs Alkemade
Added a couple more tests.
Thijs Alkemade
Simplified some dimension definitions, added tests. Added (~.) for `coerce`.
Thijs Alkemade
Updated the README.
Thijs Alkemade
Unhidden Prelude everywhere but NoPrelude. Removed coerce, renamed coerceTo to coerce.
Thijs Alkemade
Minimalized the number of extensions used.
  1. Prev
  2. Next