Control.Category.Product

Documentation

class Category c => Tensor c where

Minimal complete definition

(***)

Methods

(***) :: c w x -> c y z -> c (w, y) (x, z) infixr 3

first :: c w x -> c (w, z) (x, z)

second :: c y z -> c (w, y) (w, z)

Instances

Tensor (->)

Methods

(***) :: (w -> x) -> (y -> z) -> (w, y) -> (x, z)

first :: (w -> x) -> (w, z) -> (x, z)

second :: (y -> z) -> (w, y) -> (w, z)

Tensor Lens

Methods

(***) :: Lens w x -> Lens y z -> Lens (w, y) (x, z)

first :: Lens w x -> Lens (w, z) (x, z)

second :: Lens y z -> Lens (w, y) (w, z)

Tensor PartialLens

Methods

(***) :: PartialLens w x -> PartialLens y z -> PartialLens (w, y) (x, z)

first :: PartialLens w x -> PartialLens (w, z) (x, z)

second :: PartialLens y z -> PartialLens (w, y) (w, z)