ad-0.30.0: Automatic Differentiation

PortabilityGHC only
Stabilityexperimental
Maintainerekmett@gmail.com

Numeric.AD.Internal.Comonad

Description

 

Documentation

class Functor f => Copointed f whereSource

Methods

extract :: f a -> aSource

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 whereSource

Methods

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

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

Instances