packages feed

manifold-random 0.5.1.0 → 0.6.0.0

raw patch · 2 files changed

+9/−10 lines, 2 filesdep ~manifoldsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: manifolds

API changes (from Hackage documentation)

- Data.Random.Manifold: shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x
+ Data.Random.Manifold: shade :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVar x
- Data.Random.Manifold: shadeT :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVarT m x
+ Data.Random.Manifold: shadeT :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVarT m x

Files

Data/Random/Manifold.hs view
@@ -39,7 +39,7 @@   rvarT (Shade c e) = shadeT' c e  shadeT' :: (PseudoAffine x, SimpleSpace (Needle x), Scalar (Needle x) ~ ℝ)-                      => Interior x -> Variance (Needle x) -> RVarT m x+                      => x -> Variance (Needle x) -> RVarT m x shadeT' ctr expa = ((ctr.+~^) . sumV) <$> mapM (\v -> (v^*) <$> stdNormalT) eigSpan    where eigSpan = varianceSpanningSystem expa @@ -47,10 +47,10 @@ --  --   If you use 'rvar' to sample a large number of points from a shade @sh@ in a sufficiently --   flat space, then 'pointsShades' of that sample will again be approximately @[sh]@.-shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x+shade :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVar x shade ctr expa = rvar $ fullShade ctr expa -shadeT :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVarT m x+shadeT :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVarT m x shadeT = shadeT'  @@ -62,10 +62,9 @@        => Int -> Shade x -> (x -> Shade y) -> RVarT m (x`Shaded`y) uncertainFunctionSamplesT n shx f = case ( dualSpaceWitness :: DualNeedleWitness x                                          , dualSpaceWitness :: DualNeedleWitness y-                                         , boundarylessWitness :: BoundarylessWitness x                                          , pseudoAffineWitness :: PseudoAffineWitness y ) of-    ( DualSpaceWitness, DualSpaceWitness, BoundarylessWitness-     ,PseudoAffineWitness (SemimanifoldWitness BoundarylessWitness) ) -> do+    ( DualSpaceWitness, DualSpaceWitness+     ,PseudoAffineWitness SemimanifoldWitness ) -> do       domainSpls <- replicateM n $ rvarT shx       pts <- forM domainSpls $ \x -> do          y <- rvarT $ f x@@ -92,8 +91,8 @@              css <- mkControlSample [] 0              let xCtrl :: x                  [Shade (xCtrl,yCtrl) expaCtrl :: Shade (x,y)]-                       = pointsShades . catMaybes $ toInterior<$>css-                 yCtrl :: Interior y+                       = pointsShades css+                 yCtrl :: y                  expayCtrl = dualNorm . snd $ summandSpaceNorms expaCtrl                  jCtrl = dependence expaCtrl                  jFin = jOrig^*η ^+^ jCtrl^*η'
manifold-random.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                manifold-random-version:             0.5.1.0+version:             0.6.0.0 synopsis:            Sampling random points on general manifolds. -- description:          homepage:            https://github.com/leftaroundabout/manifolds@@ -26,7 +26,7 @@   -- other-extensions:       build-depends:       base >=4.7 && <5                        , random-fu >=0.2 && <0.3-                       , manifolds == 0.5.1.0+                       , manifolds == 0.6.0.0                        , constrained-categories                        , semigroups                        , vector-space