indexable_matrix_projections :: (Indexable m (n a), Indexable n a) => (m :*: n) (Index (m :*: n) a) Source #

apply_index :: Indexable m a => Index m a -> m a -> a Source #

with :: Indexable f a => (Index f a -> b) -> f b Source #

with2 :: (Indexable f a, Indexable g b) => (Index f a -> Index g b -> c) -> (f :*: g) c Source #

with3 :: (Indexable f a, Indexable g b, Indexable h c) => (Index f a -> Index g b -> Index h c -> d) -> (f :*: (g :*: h)) d Source #

equal_indices :: Indexable f Int => Index f Int -> Index f Int -> Bool Source #

sum_indices :: (Foldable f, Indexable f b, Num b) => (f :*: f) b -> b Source #