linearmap-category 0.6.0.0 → 0.6.0.1

raw patch · 3 files changed

+29/−15 lines, 3 filesdep ~MemoTriedep ~call-stackdep ~containers

Dependency ranges changed: MemoTrie, call-stack, containers, data-default-class, hashable, lens, linear, manifolds-core, semigroups, singletons, singletons-base, tagged, tasty, tasty-quickcheck, template-haskell, th-abstraction, transformers, type-natural

Files

• Math/LinearMap/Category/Instances.hs +9/−7
• Math/VectorSpace/DimensionAware.hs +13/−1
• linearmap-category.cabal +7/−7

@@ -613,13 +613,15 @@                           , dualSpaceWitness :: DualSpaceWitness v ) of            (ClosedScalarWitness, DualSpaceWitness) -> DualSpaceWitness   linearId = case dualSpaceWitness :: DualSpaceWitness v of-    DualSpaceWitness -> LinearMap undefined -- $ rassocTensor . asTensor-                          -- . fmap (unsafeFollowVSC SymTensor . asTensor) $ id-  tensorId = LinearMap undefined -- $ asTensor . fmap asTensor . curryLinearMap-                         --  . fmap asTensor-                         --  . curryLinearMap-                         --  . fmap (unsafeFollowVSC $ \t -> Tensor $ rassocTensor $ t)-                         --  $ id+    DualSpaceWitness -> LinearMap undefined+                         -- LinearMap $ rassocTensor . asTensor+                         -- . fmap (unsafeFollowVSC SymTensor . asTensor) $ id+  tensorId = LinearMap undefined+                   -- LinearMap $ asTensor . fmap asTensor . curryLinearMap+                   --  . fmap asTensor+                   --  . curryLinearMap+                   --  . fmap (unsafeFollowVSC $ \t -> Tensor $ rassocTensor $ t)+                   --  $ id   applyLinear = case dualSpaceWitness :: DualSpaceWitness v of     DualSpaceWitness -> bilinearFunction $ \(LinearMap f) (SymTensor t)                    -> (getLinearFunction applyLinear

@@ -263,7 +263,19 @@       unsafeWriteArrayWithOffset arr i x       unsafeWriteArrayWithOffset arr (i + dimension @u) y +-- | To be used as an “absurd” values for implementing methods whose constraints combine+--   to require both static- and flexible dimensionality (which can thus never be called).+--+--   The actual type of this should be+--+-- @+--   notStaticDimensionalContradiction :: ∀ v n r+--     . (n`Dimensional`v, StaticDimension v ~ 'Nothing) => r+-- @+--+--   GHC 9.6 baulks at that, though. It is a self-contradicting type, but that's the whole point... notStaticDimensionalContradiction :: ∀ v n r-  . (n`Dimensional`v, StaticDimension v ~ 'Nothing) => r+  . ( -- n`Dimensional`v,+      StaticDimension v ~ 'Nothing) => r notStaticDimensionalContradiction = undefined 

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                linearmap-category-version:             0.6.0.0+version:             0.6.0.1 synopsis:            Native, complete-ish, matrix-free linear algebra. description:         The term /numerical linear algebra/ is often used almost                      synonymous with /matrix modifications/. However, what's interesting@@ -78,20 +78,20 @@                        tagged,                        free-vector-spaces >= 0.1.4 && < 0.3,                        linear, lens, transformers,-                       manifolds-core >= 0.5.1.0 && < 0.7,+                       manifolds-core >= 0.6.1.0 && < 0.7,                        semigroups, hashable,                        data-default-class,                        ieee754 >= 0.7 && < 0.9,                        call-stack,-                       template-haskell >=2.12 && <2.20,-                       th-abstraction >=0.4 && <0.5,+                       template-haskell >=2.12 && <2.21,+                       th-abstraction >=0.4 && <0.6,                        ghc-typelits-natnormalise >=0.7 && <0.8,-                       type-natural >=1.0 && <1.2,+                       type-natural >=1.0 && <1.4,                        QuickCheck >=2.11 && <2.15   if flag(singletons3)     build-depends:-                       singletons >=3.0 && <3.1,-                       singletons-base >=3.0 && <3.1+                       singletons >=3.0 && <3.3,+                       singletons-base >=3.0 && <3.3   else     build-depends:                        singletons >=2.7 && <3.0