Numeric.AD.Internal.Tensors

Documentation

data Tensors f a

Constructors

a :- (Tensors f (f a))

Instances

Functor f => Functor (Tensors f)

Typeable1 f => Typeable1 (Tensors f)

Foldable f => Foldable (Tensors f)

Traversable f => Traversable (Tensors f)

Functor f => Copointed (Tensors f)

While we can not be a Comonad without a fzip-like operation, you can use the comonad for Stream f a to manipulate a structure comonadically that you can turn into Tensors.

(Typeable1 f, Typeable a) => Typeable (Tensors f a)

headT :: Tensors f a -> a

tailT :: Tensors f a -> Tensors f (f a)

tensors :: Functor f => Stream f a -> Tensors f a