witness-0.4: values that witness types

Safe HaskellSafe
LanguageHaskell98

Control.Category.Tensor

Documentation

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

Tensor (->) Source # 

Methods

tensorUnit :: () -> () Source #

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

Tensor cc => Tensor (Dual * * cc) Source # 

Methods

tensorUnit :: Dual * * cc () () Source #

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