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