Safe Haskell	None
Language	Haskell98

Control.Category.Tensor

Documentation

class Tensor cc where #

Minimal complete definition

Methods

tensorUnit :: cc () () #

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

Instances

Tensor ((->) LiftedRep LiftedRep) #
Methods tensorUnit :: (LiftedRep -> LiftedRep) () () # tensorPair :: (LiftedRep -> LiftedRep) a1 b1 -> (LiftedRep -> LiftedRep) a2 b2 -> (LiftedRep -> LiftedRep) (a1, a2) (b1, b2) #
Tensor cc => Tensor (Dual * * cc) #
Methods tensorUnit :: Dual * * cc () () # tensorPair :: Dual * * cc a1 b1 -> Dual * * cc a2 b2 -> Dual * * cc (a1, a2) (b1, b2) #