Copyright | (c) Edward Kmett 2010-2015 |
---|---|
License | BSD3 |
Maintainer | ekmett@gmail.com |
Stability | experimental |
Portability | GHC only |
Safe Haskell | None |
Language | Haskell2010 |
Numeric.AD.Mode
Contents
Description
AD modes
class (Num t, Num (Scalar t)) => Mode t where #
Minimal complete definition
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
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
=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) # | |
(Mode t, Mode (Scalar t)) => Mode (On t) # | |
Num a => Mode (Id a) # | |
Num a => Mode (Forward a) # | |
Num a => Mode (Kahn a) # | |
Num a => Mode (Sparse a) # | |
Num a => Mode (Tower a) # | |
Mode a => Mode (AD s a) # | |
(Num a, Traversable f) => Mode (Dense f 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) # | |