Numeric.AD.Tensors

Tensors

data Tensors f a

Constructors

a :- (Tensors f (f a))

Instances

Functor f => Functor (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.

headT :: Tensors f a -> a

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

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

f-Branching Streams

data Stream f a

Constructors

a :< (f (Stream f a))

Instances

Functor f => Functor (Stream f)

Foldable f => Foldable (Stream f)

Traversable f => Traversable (Stream f)

Functor f => Comonad (Stream f)

Functor f => Copointed (Stream f)

(Show a, Show (f (Stream f a))) => Show (Stream f a)

headS :: Stream f a -> a

tailS :: Stream f a -> f (Stream f a)

unfoldS :: Functor f => (a -> (b, f a)) -> a -> Stream f b

Comonads

class Functor f => Copointed f where

Methods

extract :: f a -> a

Instances

Functor f => Copointed (Stream 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.

Functor f => Copointed (Iterated f)

class Copointed f => Comonad f where

Methods

duplicate :: f a -> f (f a)

extend :: (f a -> b) -> f a -> f b

Instances

Functor f => Comonad (Stream f)

Functor f => Comonad (Iterated f)