Numeric.AD.Stream

A cofree comonad/f-branching stream for use in returning towers of gradients.

Documentation

data f :> a

Constructors

a :< (f (f :> a))

Instances

Functor f => Functor (:> f)

Foldable f => Foldable (:> f)

Traversable f => Traversable (:> f)

Primal (:> f)

Mode f => Mode (:> f)

Mode f => Lifted (:> f)

Functor f => Comonad (:> f)

(Num a, Mode f, Bounded a) => Bounded (:> f a)

(Num a, Mode f, Enum a) => Enum (:> f a)

(Num a, Mode f, Eq a) => Eq (:> f a)

(Mode f, Floating a) => Floating (:> f a)

(Mode f, Fractional a) => Fractional (:> f a)

(Mode f, Num a) => Num (:> f a)

(Num a, Mode f, Ord a) => Ord (:> f a)

(Mode f, Real a) => Real (:> f a)

(Mode f, RealFloat a) => RealFloat (:> f a)

(Mode f, RealFrac a) => RealFrac (:> f a)

(Mode f, Show a) => Show (:> f a)

class Functor f => Comonad f where

Methods

extract :: (f :> a) -> a

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

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

Instances

Functor f => Comonad (:> f)

unfold :: Functor f => (a -> (b, f a)) -> a -> f :> b

tails :: (f :> a) -> f (f :> a)