dot package:harpie

dot :: (Array c -> d) -> (a -> b -> c) -> Array a -> Array b -> Array d
harpie Harpie.Array
A generalisation of a dot operation, which is a multiplicative expansion of two arrays and sum contraction along the middle two dimensions. matrix multiplication 
>>> pretty $ dot sum (*) m (transpose m)
[[5,14],
[14,50]]
inner product 
>>> pretty $ dot sum (*) v v
5
matrix-vector multiplication Note that an Array with shape [3] is neither a row vector nor column vector. 
>>> pretty $ dot sum (*) v (transpose m)
[5,14]

>>> pretty $ dot sum (*) m v
[5,14]
dot :: forall a b c d (ds0 :: [Nat]) (ds1 :: [Nat]) (s0 :: [Nat]) (s1 :: [Nat]) (so0 :: [Nat]) (so1 :: [Nat]) (st :: [Nat]) (si :: [Nat]) . (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 si c -> d) -> (a -> b -> c) -> Array s0 a -> Array s1 b -> Array st d
harpie Harpie.Fixed
A generalisation of a dot operation, which is a multiplicative expansion of two arrays and sum contraction along the middle two dimensions. matrix multiplication 
>>> pretty $ dot sum (*) m (transpose m)
[[5,14],
[14,50]]
inner product 
>>> pretty $ dot sum (*) v v
5
matrix-vector multiplication Note that an Array with shape [3] is neither a row vector nor column vector. 
>>> pretty $ dot sum (*) v (transpose m)
[5,14]

>>> pretty $ dot sum (*) m v
[5,14]