harpie-numhask 0.1.0.1 → 0.1.0.2
raw patch · 1 files changed
+65/−43 lines, 1 filesdep ~doctest-paralleldep ~numhaskPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: doctest-parallel, numhask
API changes (from Hackage documentation)
- Harpie.NumHask: chol :: (KnownNat m, ExpField a) => Matrix m m a -> Matrix m m a
+ Harpie.NumHask: chol :: forall (m :: Nat) a. (KnownNat m, ExpField a) => Matrix m m a -> Matrix m m a
- Harpie.NumHask: ident :: (KnownNats s, Additive a, Multiplicative a) => Array s a
+ Harpie.NumHask: ident :: forall (s :: [Nat]) a. (KnownNats s, Additive a, Multiplicative a) => Array s a
- Harpie.NumHask: inverse :: (Eq a, ExpField a, KnownNat m) => Matrix m m a -> Matrix m m a
+ Harpie.NumHask: inverse :: forall a (m :: Nat). (Eq a, ExpField a, KnownNat m) => Matrix m m a -> Matrix m m a
- Harpie.NumHask: invtri :: forall a n. (KnownNat n, ExpField a, Eq a) => Matrix n n a -> Matrix n n a
+ Harpie.NumHask: invtri :: forall a (n :: Nat). (KnownNat n, ExpField a, Eq a) => Matrix n n a -> Matrix n n a
- Harpie.NumHask: mult :: forall a ds0 ds1 s0 s1 so0 so1 st si. (Ring a, KnownNats s0, KnownNats s1, KnownNats ds0, KnownNats ds1, KnownNats so0, KnownNats so1, KnownNats st, KnownNats si, so0 ~ Eval (DeleteDims ds0 s0), so1 ~ Eval (DeleteDims ds1 s1), si ~ Eval (GetDims ds0 s0), si ~ Eval (GetDims ds1 s1), st ~ Eval ((++) so0 so1), ds0 ~ '[Eval ((-) (Eval (Rank s0)) 1)], ds1 ~ '[0]) => Array s0 a -> Array s1 a -> Array st a
+ Harpie.NumHask: mult :: forall a (ds0 :: [Nat]) (ds1 :: [Nat]) (s0 :: [Nat]) (s1 :: [Nat]) (so0 :: [Nat]) (so1 :: [Nat]) (st :: [Nat]) (si :: [Nat]). (Ring a, KnownNats s0, KnownNats s1, KnownNats ds0, KnownNats ds1, KnownNats so0, KnownNats so1, KnownNats st, KnownNats si, so0 ~ Eval (DeleteDims ds0 s0), so1 ~ Eval (DeleteDims ds1 s1), si ~ Eval (GetDims ds0 s0), si ~ Eval (GetDims ds1 s1), st ~ Eval (so0 ++ so1), ds0 ~ '[Eval (Eval (Rank s0) - 1)], ds1 ~ '[0]) => Array s0 a -> Array s1 a -> Array st a
- Harpie.NumHask: undiag :: forall s' a s. (KnownNats s, KnownNats s', s' ~ Eval ((++) s s), Additive a) => Array s a -> Array s' a
+ Harpie.NumHask: undiag :: forall (s' :: [Nat]) a (s :: [Nat]). (KnownNats s, KnownNats s', s' ~ Eval (s ++ s), Additive a) => Array s a -> Array s' a
Files
- harpie-numhask.cabal +65/−43
harpie-numhask.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: harpie-numhask-version: 0.1.0.1+version: 0.1.0.2 license: BSD-3-Clause license-file: LICENSE copyright: Tony Day (c) 2024@@ -11,60 +11,82 @@ bug-reports: https://github.com/tonyday567/harpie-numhask/issues synopsis: numhask shim for harpie. description:- This package provides orphans and interface into the [numhask](https://hackage.haskell.org/package/numhask) API for [harpie](https://hackage.haskell.org/package/harpie).+ This package provides orphans and interface into the [numhask](https://hackage.haskell.org/package/numhask) API for [harpie](https://hackage.haskell.org/package/harpie). - == Usage+ == Usage - >>> {-# LANGUAGE RebindableSyntax #-}- >>> import NumHask.Prelude- >>> import Harpie.Fixed as F- >>> import Harpie.Numhask qualified as N+ >>> {-# LANGUAGE RebindableSyntax #-}+ >>> import NumHask.Prelude+ >>> import Harpie.Fixed as F+ >>> import Harpie.Numhask qualified as N build-type: Simple tested-with:- , GHC == 9.10.1- , GHC == 9.6.5- , GHC == 9.8.2+tested-with:+ ghc ==9.6.7+ ghc ==9.8.4+ ghc ==9.10.2+ ghc ==9.12.2+ extra-doc-files: ChangeLog.md source-repository head- type: git- location: https://github.com/tonyday567/harpie-numhask+ type: git+ location: https://github.com/tonyday567/harpie-numhask common ghc-options-stanza- ghc-options:- -Wall- -Wcompat- -Widentities- -Wincomplete-record-updates- -Wincomplete-uni-patterns- -Wpartial-fields- -Wredundant-constraints+ ghc-options:+ -Wall+ -Wcompat+ -Widentities+ -Wincomplete-record-updates+ -Wincomplete-uni-patterns+ -Wpartial-fields+ -Wredundant-constraints -common ghc2021-stanza- default-language: GHC2021+common ghc2024-additions+ default-extensions:+ DataKinds+ DerivingStrategies+ DisambiguateRecordFields+ ExplicitNamespaces+ GADTs+ LambdaCase+ MonoLocalBinds+ RoleAnnotations +common ghc2024-stanza+ if impl(ghc >=9.10)+ default-language:+ GHC2024+ else+ import: ghc2024-additions+ default-language:+ GHC2021+ library- import: ghc-options-stanza- import: ghc2021-stanza- hs-source-dirs: src- build-depends:- , adjunctions >=4.4.2 && <4.5- , base >=4.14 && <5- , first-class-families >=0.8 && <0.9- , harpie >=0.1.0 && <0.2- , numhask >=0.12 && <0.13- exposed-modules: Harpie.NumHask+ import: ghc-options-stanza+ import: ghc2024-stanza+ hs-source-dirs: src+ build-depends:+ adjunctions >=4.4.2 && <4.5,+ base >=4.14 && <5,+ first-class-families >=0.8 && <0.9,+ harpie >=0.1.0 && <0.2,+ numhask >=0.12 && <0.14, + exposed-modules: Harpie.NumHask+ test-suite doctests- import: ghc2021-stanza- main-is: doctests.hs- hs-source-dirs: test- build-depends:- , base >=4.14 && <5- , doctest-parallel >=0.3 && <0.4- , harpie-numhask- , prettyprinter >=1.7 && <1.8- default-extensions: RebindableSyntax- ghc-options: -threaded- type: exitcode-stdio-1.0+ import: ghc2024-stanza+ main-is: doctests.hs+ hs-source-dirs: test+ build-depends:+ base >=4.14 && <5,+ doctest-parallel >=0.3 && <0.5,+ harpie-numhask,+ prettyprinter >=1.7 && <1.8,++ default-extensions: RebindableSyntax+ ghc-options: -threaded+ type: exitcode-stdio-1.0