Numeric.AD.Internal.Forward

Unsafe and often partial combinators intended for internal usage.

Handle with care.

Documentation

data Forward a

Constructors

Forward a a

Instances

Typeable1 Forward

Lifted Forward => Jacobian Forward

Primal Forward

Lifted Forward => Mode Forward

Lifted Forward

Data a => Data (Forward a)

Show a => Show (Forward a)

tangent :: AD Forward a -> a

bundle :: a -> a -> AD Forward a

unbundle :: AD Forward a -> (a, a)

apply :: Num a => (AD Forward a -> b) -> a -> b

bind :: (Traversable f, Num a) => (f (AD Forward a) -> b) -> f a -> f b

bind' :: (Traversable f, Num a) => (f (AD Forward a) -> b) -> f a -> (b, f b)

bindWith :: (Traversable f, Num a) => (a -> b -> c) -> (f (AD Forward a) -> b) -> f a -> f c

bindWith' :: (Traversable f, Num a) => (a -> b -> c) -> (f (AD Forward a) -> b) -> f a -> (b, f c)

transposeWith :: (Functor f, Foldable f, Traversable g) => (b -> f a -> c) -> f (g a) -> g b -> g c