Safe Haskell	None
Language	Haskell98

Control.Category.Tensor

Documentation

class Tensor cc where #

Methods

tensorUnit :: cc () () #

tensorPair :: cc a1 b1 -> cc a2 b2 -> cc (a1, a2) (b1, b2) #

Instances

Tensor ((->) :: Type -> Type -> Type) #
Instance details Defined in Control.Category.Tensor Methods tensorUnit :: () -> () # tensorPair :: (a1 -> b1) -> (a2 -> b2) -> (a1, a2) -> (b1, b2) #
Tensor cc => Tensor (Dual cc) #
Instance details Defined in Control.Category.Tensor Methods tensorUnit :: Dual cc () () # tensorPair :: Dual cc a1 b1 -> Dual cc a2 b2 -> Dual cc (a1, a2) (b1, b2) #