Control.Category.Tensor

type Iso p a b = { bwd :: p b a, fwd :: p a b }

class (Bifunctor t, Category p) <= Associative t p  where

Members

• assoc :: forall c b a. Iso p (t a (t b c)) (t (t a b) c)

Instances

• Associative Tuple Function
• Associative Either Function

class (Associative t p) <= Tensor t i p | t -> i, i -> t where

Members

• lunit :: forall a. Iso p (t i a) a
• runit :: forall a. Iso p (t a i) a

Instances

• Tensor Tuple Unit Function
• Tensor Either Void Function