Numeric.AD.Internal.Forward

Unsafe and often partial combinators intended for internal usage.

Handle with care.

Documentation

data Forward a

Forward mode AD

Constructors

Forward !a a

Lift !a

Zero

Instances

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

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

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

Floating a => Floating (Forward a)

Fractional a => Fractional (Forward a)

Data a => Data (Forward a)

Num a => Num (Forward a)

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

Real a => Real (Forward a)

RealFloat a => RealFloat (Forward a)

RealFrac a => RealFrac (Forward a)

Show a => Show (Forward a)

Erf a => Erf (Forward a)

InvErf a => InvErf (Forward a)

Num a => Mode (Forward a)

Num a => Jacobian (Forward a)

type Scalar (Forward a) = a

type D (Forward a) = Id a

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

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

Calculate the tangent using forward mode AD.

bundle :: a -> a -> Forward a

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

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

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

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

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

bindWith' :: (Traversable f, Num a) => (a -> b -> c) -> (f (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