Portability | GHC only |
---|---|
Stability | experimental |
Maintainer | ekmett@gmail.com |
Safe Haskell | None |
AD modes
class (Num t, Num (Scalar t)) => Mode t whereSource
isKnownConstant :: t -> BoolSource
allowed to return False for items with a zero derivative, but we'll give more NaNs than strictly necessary
isKnownZero :: t -> BoolSource
allowed to return False for zero, but we give more NaN's than strictly necessary then
Embed a constant
(*^) :: Scalar t -> t -> tSource
Scalar-vector multiplication
(^*) :: t -> Scalar t -> tSource
Vector-scalar multiplication
(^/) :: Fractional (Scalar t) => t -> Scalar t -> tSource
Scalar division
zero
=lift
0
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) |