diff options
Diffstat (limited to 'packages/base/src')
-rw-r--r-- | packages/base/src/Numeric/LinearAlgebra/Static.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs index cbcd4e2..5749c40 100644 --- a/packages/base/src/Numeric/LinearAlgebra/Static.hs +++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs | |||
@@ -184,8 +184,8 @@ a ¦ b = tr (tr a —— tr b) | |||
184 | type Sq n = L n n | 184 | type Sq n = L n n |
185 | --type CSq n = CL n n | 185 | --type CSq n = CL n n |
186 | 186 | ||
187 | type GL = (KnownNat n, KnownNat m) => L m n | 187 | type GL = forall n m. (KnownNat n, KnownNat m) => L m n |
188 | type GSq = KnownNat n => Sq n | 188 | type GSq = forall n. KnownNat n => Sq n |
189 | 189 | ||
190 | isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int)) | 190 | isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int)) |
191 | isKonst s@(unwrap -> x) | 191 | isKonst s@(unwrap -> x) |