Numeric.AD.Internal.Forward

Unsafe and often partial combinators intended for internal usage.

Handle with care.

Documentation

data Forward a s

Forward mode AD

Constructors

Forward !a a

Lift !a

Zero

Instances

Typeable2 Forward

(Num a, Bounded a) => Bounded (Forward a s)

(Num a, Enum a) => Enum (Forward a s)

(Num a, Eq a) => Eq (Forward a s)

Floating a => Floating (Forward a s)

Fractional a => Fractional (Forward a s)

(Data a, Data s) => Data (Forward a s)

Num a => Num (Forward a s)

(Num a, Ord a) => Ord (Forward a s)

Real a => Real (Forward a s)

RealFloat a => RealFloat (Forward a s)

RealFrac a => RealFrac (Forward a s)

Show a => Show (Forward a s)

Erf a => Erf (Forward a s)

InvErf a => InvErf (Forward a s)

Num a => Mode (Forward a s)

Num a => Jacobian (Forward a s)

primal :: Num a => Forward a s -> a

tangent :: Num a => Forward a s -> a

Calculate the tangent using forward mode AD.

bundle :: a -> a -> Forward a s

unbundle :: Num a => Forward a s -> (a, a)

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

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

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

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

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

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