1. Thijs Alkemade
  2. haskell-unittyped

Commits

Show all
Author Commit Message Date Builds
Thijs Alkemade
Rewrote all type classes into type families, cleaning up a lot of code. GHC HEAD now features ordered overlapping type families, so I was finally able to express the type-level maps using type families. Will probably not work till 7.8.
Takayuki Muranushi
test update.
Thijs Alkemade
Updated the README. Increased the priorty of the half-unit binary operators. This is necessary to properly be able to mix |*| and *|, however, maybe priority 9 is a bit too high for such an operator...
Thijs Alkemade
Following Takayuki Muranushi's suggestion, replaced all uses of .*., ./. with |*|, |/|, where the | means that side uses a unit. So, this also adds: |*, /|, |/, |+, etc. This makes it easier to modify the underlying value, while maintaining the unit. Removed the pow* functions, as these were broken.
Takayuki Muranushi
SI prefixes do not overwrite the contained value. fix #2 .
Takayuki Muranushi
rename ~> to *| in tests, too.
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.
  1. Prev
  2. Next