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.
Takayuki Muranushi
Let us move gradually from functional dependencies to type families.
Takayuki Muranushi
add comments on Dimension and Unit.
Takayuki Muranushi
Moving to one-argument Convertible.
Takayuki Muranushi
start modification of Convertible to use type families.
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.)
Takayuki Muranushi
introduce two type operators :| and :*|, to make the type annotations simpler.
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.
Takayuki Muranushi
added typeable test.
  1. Prev
  2. Next