summaryrefslogtreecommitdiff
path: root/packages/base/src/Numeric/LinearAlgebra/Static.hs
diff options
context:
space:
mode:
Diffstat (limited to 'packages/base/src/Numeric/LinearAlgebra/Static.hs')
-rw-r--r--packages/base/src/Numeric/LinearAlgebra/Static.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs
index 5caf6f8..6acd9a3 100644
--- a/packages/base/src/Numeric/LinearAlgebra/Static.hs
+++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs
@@ -27,7 +27,7 @@ module Numeric.LinearAlgebra.Static(
27 lift1F, lift2F, 27 lift1F, lift2F,
28 vconcat, gvec2, gvec3, gvec4, gvect, gmat, 28 vconcat, gvec2, gvec3, gvec4, gvect, gmat,
29 Sized(..), 29 Sized(..),
30 singleV, singleM 30 singleV, singleM,GM
31) where 31) where
32 32
33 33
@@ -105,7 +105,7 @@ ud (Dim v) = v
105mkV :: forall (n :: Nat) t . t -> Dim n t 105mkV :: forall (n :: Nat) t . t -> Dim n t
106mkV = Dim 106mkV = Dim
107 107
108type M m n t = Dim m (Dim n (Matrix t)) 108type GM m n t = Dim m (Dim n (Matrix t))
109 109
110--ud2 :: Dim m (Dim n (Matrix t)) -> Matrix t 110--ud2 :: Dim m (Dim n (Matrix t)) -> Matrix t
111--ud2 (Dim (Dim m)) = m 111--ud2 (Dim (Dim m)) = m
@@ -166,7 +166,7 @@ gvect st xs'
166 abort info = error $ st++" "++show d++" can't be created from elements "++info 166 abort info = error $ st++" "++show d++" can't be created from elements "++info
167 167
168 168
169gmat :: forall m n t . (Show t, KnownNat m, KnownNat n, Numeric t) => String -> [t] -> M m n t 169gmat :: forall m n t . (Show t, KnownNat m, KnownNat n, Numeric t) => String -> [t] -> GM m n t
170gmat st xs' 170gmat st xs'
171 | ok = mkM x 171 | ok = mkM x
172 | not (null rest) && null (tail rest) = abort (show xs') 172 | not (null rest) && null (tail rest) = abort (show xs')