witness-0.4: values that witness types
Control.Category.Tensor
class Tensor cc where #
Minimal complete definition
tensorUnit, tensorPair
Methods
tensorUnit :: cc () () #
tensorPair :: cc a1 b1 -> cc a2 b2 -> cc (a1, a2) (b1, b2) #
Instances
tensorUnit :: () -> () #
tensorPair :: (a1 -> b1) -> (a2 -> b2) -> (a1, a2) -> (b1, b2) #
tensorUnit :: Dual * * cc () () #
tensorPair :: Dual * * cc a1 b1 -> Dual * * cc a2 b2 -> Dual * * cc (a1, a2) (b1, b2) #