Numeric.AD.Internal

Documentation

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

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

newtype AD f a

AD serves as a common wrapper for different Mode instances, exposing a traditional numerical tower. Universal quantification is used to limit the actions in user code to machinery that will return the same answers under all AD modes, allowing us to use modes interchangeably as both the type level "brand" and dictionary, providing a common API.

Constructors

AD

Fields

runAD :: f a

Instances

Primal f => Primal (AD f)

Mode f => Mode (AD f)

Lifted f => Lifted (AD f)

Var (AD Reverse)

Iso (f a) (AD f a)

(Num a, Lifted f, Bounded a) => Bounded (AD f a)

(Num a, Lifted f, Enum a) => Enum (AD f a)

(Num a, Lifted f, Eq a) => Eq (AD f a)

(Lifted f, Floating a) => Floating (AD f a)

(Lifted f, Fractional a) => Fractional (AD f a)

(Lifted f, Num a) => Num (AD f a)

(Num a, Lifted f, Ord a) => Ord (AD f a)

(Lifted f, Real a) => Real (AD f a)

(Lifted f, RealFloat a) => RealFloat (AD f a)

(Lifted f, RealFrac a) => RealFrac (AD f a)

(Lifted f, Show a) => Show (AD f a)

newtype Id a

Constructors

Id a

Instances

Monad Id

Functor Id

Applicative Id

Primal Id

Mode Id

Lifted Id

Iso a (Id a)

Bounded a => Bounded (Id a)

Enum a => Enum (Id a)

Eq a => Eq (Id a)

Floating a => Floating (Id a)

Fractional a => Fractional (Id a)

Num a => Num (Id a)

Ord a => Ord (Id a)

Real a => Real (Id a)

RealFloat a => RealFloat (Id a)

RealFrac a => RealFrac (Id a)

Show a => Show (Id a)

Monoid a => Monoid (Id a)

probe :: a -> AD Id a

unprobe :: AD Id a -> a

probed :: f a -> f (AD Id a)

unprobed :: f (AD Id a) -> f a

data Pair a b

Constructors

Pair a b

Instances

Functor (Pair a)

Foldable (Pair a)

Traversable (Pair a)

(Eq a, Eq b) => Eq (Pair a b)

(Ord a, Ord b) => Ord (Pair a b)

(Read a, Read b) => Read (Pair a b)

(Show a, Show b) => Show (Pair a b)