matrix-static 0.2 → 0.2.1
raw patch · 2 files changed
+9/−8 lines, 2 filesdep −ghc-typelits-knownnatPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: ghc-typelits-knownnat
API changes (from Hackage documentation)
+ Data.Matrix.Static: type ColumnVector m = Matrix m 1
+ Data.Matrix.Static: type RowVector = Matrix 1
- Data.Matrix.Static: cholDecomp :: (Floating a) => Matrix n n a -> Matrix n n a
+ Data.Matrix.Static: cholDecomp :: Floating a => Matrix n n a -> Matrix n n a
- Data.Matrix.Static: elementwise :: forall m n a b c. (a -> b -> c) -> (Matrix m n a -> Matrix m n b -> Matrix m n c)
+ Data.Matrix.Static: elementwise :: forall m n a b c. (a -> b -> c) -> Matrix m n a -> Matrix m n b -> Matrix m n c
- Data.Matrix.Static: submatrix :: forall iFrom jFrom iTo jTo m n a. (KnownNat iFrom, KnownNat iTo, KnownNat jFrom, KnownNat jTo, 1 <= iFrom, 1 <= iTo - iFrom + 1, iTo - iFrom + 1 <= m, 1 <= jFrom, 1 <= jTo - jFrom + 1, jTo - jFrom + 1 <= n) => Matrix m n a -> Matrix (iTo - iFrom + 1) (jTo - jFrom + 1) a
+ Data.Matrix.Static: submatrix :: forall iFrom jFrom iTo jTo m n a. (KnownNat iFrom, KnownNat iTo, KnownNat jFrom, KnownNat jTo, 1 <= iFrom, 1 <= ((iTo - iFrom) + 1), ((iTo - iFrom) + 1) <= m, 1 <= jFrom, 1 <= ((jTo - jFrom) + 1), ((jTo - jFrom) + 1) <= n) => Matrix m n a -> Matrix ((iTo - iFrom) + 1) ((jTo - jFrom) + 1) a
Files
- matrix-static.cabal +5/−7
- src/Data/Matrix/Static.hs +4/−1
matrix-static.cabal view
@@ -1,13 +1,13 @@-cabal-version: >= 1.10+cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.29.7.+-- This file has been generated from package.yaml by hpack version 0.31.2. -- -- see: https://github.com/sol/hpack ----- hash: 71d0aad7acb4b2fc1986bb9cd9d7f4a861b968f85193c2244ea95a1f321a1e34+-- hash: 8683931cd52dfb6652bbc41d626105dfbfa75efa4e930a75fd01df7c6301f49e name: matrix-static-version: 0.2+version: 0.2.1 synopsis: Type-safe matrix operations description: Please see the README on GitHub at <https://github.com/wchresta/matrix-static#readme> category: Math@@ -21,8 +21,8 @@ tested-with: GHC == 8.6.1, GHC == 8.4.3, GHC == 8.2.2, GHC == 8.0.2, GHC == 8.0.1 build-type: Simple extra-source-files:- ChangeLog.md README.md+ ChangeLog.md source-repository head type: git@@ -39,7 +39,6 @@ build-depends: base >=4.9 && <5 , deepseq- , ghc-typelits-knownnat , ghc-typelits-natnormalise , matrix >=0.3.5 && <0.4 , vector@@ -56,7 +55,6 @@ build-depends: base >=4.9 && <5 , deepseq- , ghc-typelits-knownnat , ghc-typelits-natnormalise , matrix >=0.3.5 && <0.4 , matrix-static
src/Data/Matrix/Static.hs view
@@ -13,7 +13,6 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-}-{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} {-| Module : Data.Matrix.Static Description : Wrapper around matrix that adds matrix sizes to the type-level@@ -37,7 +36,9 @@ , forceMatrix -- * Builders , matrix+ , RowVector , rowVector+ , ColumnVector , colVector -- ** Special matrices , zero@@ -928,6 +929,8 @@ -- | A row vector (a matrix with one row). type RowVector = Matrix 1++-- | A column vector (a matrix with one column). type ColumnVector m = Matrix m 1