ad-0.31.0: Automatic Differentiation
Numeric.AD.Internal.Comonad
Description
class Functor f => Copointed f whereSource
Methods
extract :: f a -> aSource
Instances
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.
Comonad
fzip
Stream f a
Stream
Tensors
class Copointed f => Comonad f whereSource
duplicate :: f a -> f (f a)Source
extend :: (f a -> b) -> f a -> f bSource