data-lens-2.10.2: Haskell 98 Lenses

Safe HaskellSafe-Inferred

Control.Category.Product

Documentation

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