Numeric.AD.Mode

AD modes

class (Num t, Num (Scalar t)) => Mode t where

Minimal complete definition

auto

Associated Types

type Scalar t

Methods

isKnownConstant :: t -> Bool

allowed to return False for items with a zero derivative, but we'll give more NaNs than strictly necessary

isKnownZero :: t -> Bool

allowed to return False for zero, but we give more NaN's than strictly necessary then

auto :: Scalar t -> t

Embed a constant

(*^) :: Scalar t -> t -> t infixr 7

Scalar-vector multiplication

(^*) :: t -> Scalar t -> t infixl 7

Vector-scalar multiplication

(^/) :: Fractional (Scalar t) => t -> Scalar t -> t infixr 7

Scalar division

zero :: t

zero = lift 0

Instances

Mode Double

Mode Float

Mode Int

Mode Int8

Mode Int16

Mode Int32

Mode Int64

Mode Integer

Mode Word

Mode Word8

Mode Word16

Mode Word32

Mode Word64

Mode Natural

Mode ForwardDouble

Integral a => Mode (Ratio a)

RealFloat a => Mode (Complex a)

Num a => Mode (Id a)

Num a => Mode (Tower a)

Num a => Mode (Sparse a)

(Mode t, Mode (Scalar t)) => Mode (On t)

Num a => Mode (Kahn a)

Num a => Mode (Forward a)

(Num a, Traversable f) => Mode (Dense f a)

Mode a => Mode (AD s a)

(Reifies * s Tape, Num a) => Mode (Reverse s a)

(Mode a, Mode b, Chosen s, (~) * (Scalar a) (Scalar b)) => Mode (Or s a b)