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 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)

Tensor ((->) LiftedRep LiftedRep)

Methods

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

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

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