packages feed

hamilton 0.1.0.1 → 0.1.0.2

raw patch · 4 files changed

+14/−5 lines, 4 filesdep ~typelits-witnessesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: typelits-witnesses

API changes (from Hackage documentation)

- Numeric.Hamilton: instance GHC.TypeLits.KnownNat n => GHC.Show.Show (Numeric.Hamilton.Config n)
- Numeric.Hamilton: instance GHC.TypeLits.KnownNat n => GHC.Show.Show (Numeric.Hamilton.Phase n)
+ Numeric.Hamilton: instance GHC.TypeNats.KnownNat n => GHC.Show.Show (Numeric.Hamilton.Config n)
+ Numeric.Hamilton: instance GHC.TypeNats.KnownNat n => GHC.Show.Show (Numeric.Hamilton.Phase n)

Files

CHANGELOG.md view
@@ -1,6 +1,15 @@ Changelog ========= +Version 0.1.0.2+---------------++*Jan 21, 2018*++<https://github.com/mstksg/hamilton/releases/tag/v0.1.0.2>++*   Compatibility with *typelits-witneses-0.3.0.0*+ Version 0.1.0.1 ---------------
README.md view
@@ -73,7 +73,7 @@ [example runner]: https://github.com/mstksg/hamilton/blob/master/app/Examples.hs [user guide]: https://github.com/mstksg/hamilton#example-app-runner -### Full Exmaple+### Full Example  Let's turn our double pendulum (with the second pendulum half as long) into an actual running program.  Let's say that `g = 5`, `m1 = 1`, and `m2 = 2`.
hamilton.cabal view
@@ -1,5 +1,5 @@ name:                hamilton-version:             0.1.0.1+version:             0.1.0.2 synopsis:            Physics on generalized coordinate systems using Hamiltonian Mechanics and AD description:         See README.md (or read online at <https://github.com/mstksg/hamilton#readme>) homepage:            https://github.com/mstksg/hamilton@@ -24,7 +24,7 @@                      , free                      , hmatrix >= 0.18                      , hmatrix-gsl >= 0.18-                     , typelits-witnesses+                     , typelits-witnesses >= 0.2.3                      , vector-sized >= 0.6   ghc-options:         -Wall -O2   default-language:    Haskell2010
src/Numeric/Hamilton.hs view
@@ -428,11 +428,11 @@     -> [Phase n] evolveHam' _ _ [] = [] evolveHam' s p0 ts = V.withSizedList (toList ts') $ \(v :: V.Vector s Double) ->-                       case (Proxy %<=? Proxy) :: (2 :<=? s) of+                       case Proxy @2 %<=? Proxy @s of                          LE Refl -> (if l1 then tail else id)                                   . toList                                   $ evolveHam s p0 v-                         NLE Refl -> error "evolveHam': Internal error"+                         NLE{}   -> error "evolveHam': Internal error"   where     (l1, ts') = case ts of       [x] -> (True , [0,x])