N5,
S,
Z,
+ generate,
mk1,
mk2,
mk3,
-- entries in the matrix. The i,j entry of the resulting matrix will
-- have the value returned by lambda i j.
--
--- TODO: Don't cheat with fromList.
---
-- Examples:
--
-- >>> let lambda i j = i + j
--
construct :: forall m n a. (Arity m, Arity n)
=> (Int -> Int -> a) -> Mat m n a
-construct lambda = Mat rows
+construct lambda = Mat $ generate make_row
where
- -- The arity trick is used in Data.Vector.Fixed.length.
- imax = (arity (undefined :: m)) - 1
- jmax = (arity (undefined :: n)) - 1
- row' i = V.fromList [ lambda i j | j <- [0..jmax] ]
- rows = V.fromList [ row' i | i <- [0..imax] ]
+ make_row :: Int -> Vec n a
+ make_row i = generate (lambda i)
+
-- | Given a positive-definite matrix @m@, computes the