data-lens-2.10.0: Haskell 98 Lenses
Control.Category.Product
class Category c => Tensor c where
Methods
(***) :: c w x -> c y z -> c (w, y) (x, z)
first :: c w x -> c (w, z) (x, z)
second :: c y z -> c (w, y) (w, z)
Instances