Commits

Author Commit Message Labels Comments Date
Takayuki Muranushi
arbitary instances for Values.
Takayuki Muranushi
sqrt added.
Takayuki Muranushi
sqrt added.
Takayuki Muranushi
export `per` from UnitTyped.
Takayuki Muranushi
mass of proton and boltzmann's constant added.
Takayuki Muranushi
astronomical length unit values added.
Takayuki Muranushi
astronomical length units added.
Takayuki Muranushi
Polymorphic comparison between dimensional types.
Takayuki Muranushi
no convertible constraint on the result.
Takayuki Muranushi
forgotten to add the type module.
Takayuki Muranushi
modify the derived types.
Takayuki Muranushi
result convertible constraint added for multiplications.
Takayuki Muranushi
astronomical mass units added.
Takayuki Muranushi
reorganize the modules.
Takayuki Muranushi
lift class constraint in :|
Takayuki Muranushi
version bump.
Takayuki Muranushi
Convertible is now 1-argument class. base unit to dimension conversion is now type function rather than functional dependencies. This will arrow stronger type inference.
Takayuki Muranushi
Let us move gradually from functional dependencies to type families. We cannot re-write the core of unittyped library, map merging system, because we cannot overlap type families right now. Let's do whatever conversion we can right now, and wait for ghc 7.8.1 with overlapped type families. http://typesandkinds.wordpress.com/2012/12/22/ordered-overlapping-type-family-instances/
Takayuki Muranushi
add comments on Dimension and Unit.
Takayuki Muranushi
Moving to one-argument Convertible. However, I wonder if this was a good approach.
Takayuki Muranushi
start modification of Convertible to use type families. Note that to build the document for this, we need haddock >= 2.12.1 . (see http://trac.haskell.org/haddock/ticket/213) This can be obtained from ghc-7.6 branch of git@github.com:sol/haddock.git
Takayuki Muranushi
test type family for Convertible.
Takayuki Muranushi
version bump
Takayuki Muranushi
rewrite not to use :*|.
Takayuki Muranushi
:| is safer (because of the dependent type annotation.) :| should not depend on :*| .
Takayuki Muranushi
introduce two type operators :| and :*|, to make the type annotations simpler. However, these have side-effects that may later cause type inference ambiguities. To introduce these operators at this point might not be a good idea...
Takayuki Muranushi
introduce the new notation :|
Takayuki Muranushi
add momentum as a derived unit.
Takayuki Muranushi
we need doctest-0.9.5 to pass this test. doctest-0.9.5 is not on the hackage at this moment, but can be obtained from https://github.com/sol/doctest-haskell c.f. see the issue https://github.com/sol/doctest-haskell/issues/41
Takayuki Muranushi
added typeable test.
  1. Prev
  2. Next