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