Safe Haskell	None
Language	Haskell2010

Numeric.AD.Internal.Reverse.Double

Synopsis

data ReverseDouble s where
- Zero :: ReverseDouble s
- Lift :: Double -> ReverseDouble s
- ReverseDouble :: !Int -> Double -> ReverseDouble s
newtype Tape = Tape {
- getTape :: IORef Head
}
data Head = Head !Int Cells
data Cells where
- Nil :: Cells
- Unary :: !Int -> Double -> Cells -> Cells
- Binary :: !Int -> !Int -> Double -> Double -> Cells -> Cells
reifyTape :: Int -> (forall s. Reifies s Tape => Proxy s -> r) -> r
partials :: forall s. Reifies s Tape => ReverseDouble s -> [Double]
partialArrayOf :: Reifies s Tape => Proxy s -> (Int, Int) -> ReverseDouble s -> Array Int Double
partialMapOf :: Reifies s Tape => Proxy s -> ReverseDouble s -> IntMap Double
derivativeOf :: Reifies s Tape => Proxy s -> ReverseDouble s -> Double
derivativeOf' :: Reifies s Tape => Proxy s -> ReverseDouble s -> (Double, Double)
bind :: Traversable f => f Double -> (f (ReverseDouble s), (Int, Int))
unbind :: Functor f => f (ReverseDouble s) -> Array Int Double -> f Double
unbindMap :: Functor f => f (ReverseDouble s) -> IntMap Double -> f Double
unbindWith :: Functor f => (Double -> b -> c) -> f (ReverseDouble s) -> Array Int b -> f c
unbindMapWithDefault :: Functor f => b -> (Double -> b -> c) -> f (ReverseDouble s) -> IntMap b -> f c
var :: Double -> Int -> ReverseDouble s
varId :: ReverseDouble s -> Int
primal :: ReverseDouble s -> Double

Documentation

data ReverseDouble s where Source #

Constructors

Zero :: ReverseDouble s
Lift :: Double -> ReverseDouble s
ReverseDouble :: !Int -> Double -> ReverseDouble s

Instances

Reifies s Tape => Enum (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods succ :: ReverseDouble s -> ReverseDouble s # pred :: ReverseDouble s -> ReverseDouble s # toEnum :: Int -> ReverseDouble s # fromEnum :: ReverseDouble s -> Int # enumFrom :: ReverseDouble s -> [ReverseDouble s] # enumFromThen :: ReverseDouble s -> ReverseDouble s -> [ReverseDouble s] # enumFromTo :: ReverseDouble s -> ReverseDouble s -> [ReverseDouble s] # enumFromThenTo :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s -> [ReverseDouble s] #
Reifies s Tape => Eq (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods (==) :: ReverseDouble s -> ReverseDouble s -> Bool # (/=) :: ReverseDouble s -> ReverseDouble s -> Bool #
Reifies s Tape => Floating (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods pi :: ReverseDouble s # exp :: ReverseDouble s -> ReverseDouble s # log :: ReverseDouble s -> ReverseDouble s # sqrt :: ReverseDouble s -> ReverseDouble s # (**) :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # logBase :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # sin :: ReverseDouble s -> ReverseDouble s # cos :: ReverseDouble s -> ReverseDouble s # tan :: ReverseDouble s -> ReverseDouble s # asin :: ReverseDouble s -> ReverseDouble s # acos :: ReverseDouble s -> ReverseDouble s # atan :: ReverseDouble s -> ReverseDouble s # sinh :: ReverseDouble s -> ReverseDouble s # cosh :: ReverseDouble s -> ReverseDouble s # tanh :: ReverseDouble s -> ReverseDouble s # asinh :: ReverseDouble s -> ReverseDouble s # acosh :: ReverseDouble s -> ReverseDouble s # atanh :: ReverseDouble s -> ReverseDouble s # log1p :: ReverseDouble s -> ReverseDouble s # expm1 :: ReverseDouble s -> ReverseDouble s # log1pexp :: ReverseDouble s -> ReverseDouble s # log1mexp :: ReverseDouble s -> ReverseDouble s #
Reifies s Tape => Fractional (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods (/) :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # recip :: ReverseDouble s -> ReverseDouble s # fromRational :: Rational -> ReverseDouble s #
Reifies s Tape => Num (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods (+) :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # (-) :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # (*) :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # negate :: ReverseDouble s -> ReverseDouble s # abs :: ReverseDouble s -> ReverseDouble s # signum :: ReverseDouble s -> ReverseDouble s # fromInteger :: Integer -> ReverseDouble s #
Reifies s Tape => Ord (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods compare :: ReverseDouble s -> ReverseDouble s -> Ordering # (<) :: ReverseDouble s -> ReverseDouble s -> Bool # (<=) :: ReverseDouble s -> ReverseDouble s -> Bool # (>) :: ReverseDouble s -> ReverseDouble s -> Bool # (>=) :: ReverseDouble s -> ReverseDouble s -> Bool # max :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s # min :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s #
Reifies s Tape => Real (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods toRational :: ReverseDouble s -> Rational #
Reifies s Tape => RealFloat (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods floatRadix :: ReverseDouble s -> Integer # floatDigits :: ReverseDouble s -> Int # floatRange :: ReverseDouble s -> (Int, Int) # decodeFloat :: ReverseDouble s -> (Integer, Int) # encodeFloat :: Integer -> Int -> ReverseDouble s # exponent :: ReverseDouble s -> Int # significand :: ReverseDouble s -> ReverseDouble s # scaleFloat :: Int -> ReverseDouble s -> ReverseDouble s # isNaN :: ReverseDouble s -> Bool # isInfinite :: ReverseDouble s -> Bool # isDenormalized :: ReverseDouble s -> Bool # isNegativeZero :: ReverseDouble s -> Bool # isIEEE :: ReverseDouble s -> Bool # atan2 :: ReverseDouble s -> ReverseDouble s -> ReverseDouble s #
Reifies s Tape => RealFrac (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods properFraction :: Integral b => ReverseDouble s -> (b, ReverseDouble s) # truncate :: Integral b => ReverseDouble s -> b # round :: Integral b => ReverseDouble s -> b # ceiling :: Integral b => ReverseDouble s -> b # floor :: Integral b => ReverseDouble s -> b #
Show (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods showsPrec :: Int -> ReverseDouble s -> ShowS # show :: ReverseDouble s -> String # showList :: [ReverseDouble s] -> ShowS #
Reifies s Tape => Erf (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods erf :: ReverseDouble s -> ReverseDouble s # erfc :: ReverseDouble s -> ReverseDouble s # erfcx :: ReverseDouble s -> ReverseDouble s # normcdf :: ReverseDouble s -> ReverseDouble s #
Reifies s Tape => InvErf (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Methods inverf :: ReverseDouble s -> ReverseDouble s # inverfc :: ReverseDouble s -> ReverseDouble s # invnormcdf :: ReverseDouble s -> ReverseDouble s #
Reifies s Tape => Mode (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Associated Types type Scalar (ReverseDouble s) :: Type Source # Methods isKnownConstant :: ReverseDouble s -> Bool Source # isKnownZero :: ReverseDouble s -> Bool Source # auto :: Scalar (ReverseDouble s) -> ReverseDouble s Source # (^) :: Scalar (ReverseDouble s) -> ReverseDouble s -> ReverseDouble s Source # (^) :: ReverseDouble s -> Scalar (ReverseDouble s) -> ReverseDouble s Source # (^/) :: ReverseDouble s -> Scalar (ReverseDouble s) -> ReverseDouble s Source # zero :: ReverseDouble s Source #
Reifies s Tape => Jacobian (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double Associated Types type D (ReverseDouble s) :: Type Source # Methods unary :: (Scalar (ReverseDouble s) -> Scalar (ReverseDouble s)) -> D (ReverseDouble s) -> ReverseDouble s -> ReverseDouble s Source # lift1 :: (Scalar (ReverseDouble s) -> Scalar (ReverseDouble s)) -> (D (ReverseDouble s) -> D (ReverseDouble s)) -> ReverseDouble s -> ReverseDouble s Source # lift1_ :: (Scalar (ReverseDouble s) -> Scalar (ReverseDouble s)) -> (D (ReverseDouble s) -> D (ReverseDouble s) -> D (ReverseDouble s)) -> ReverseDouble s -> ReverseDouble s Source # binary :: (Scalar (ReverseDouble s) -> Scalar (ReverseDouble s) -> Scalar (ReverseDouble s)) -> D (ReverseDouble s) -> D (ReverseDouble s) -> ReverseDouble s -> ReverseDouble s -> ReverseDouble s Source # lift2 :: (Scalar (ReverseDouble s) -> Scalar (ReverseDouble s) -> Scalar (ReverseDouble s)) -> (D (ReverseDouble s) -> D (ReverseDouble s) -> (D (ReverseDouble s), D (ReverseDouble s))) -> ReverseDouble s -> ReverseDouble s -> ReverseDouble s Source # lift2_ :: (Scalar (ReverseDouble s) -> Scalar (ReverseDouble s) -> Scalar (ReverseDouble s)) -> (D (ReverseDouble s) -> D (ReverseDouble s) -> D (ReverseDouble s) -> (D (ReverseDouble s), D (ReverseDouble s))) -> ReverseDouble s -> ReverseDouble s -> ReverseDouble s Source #
type Scalar (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double type Scalar (ReverseDouble s) = Double
type D (ReverseDouble s) Source #
Instance details Defined in Numeric.AD.Internal.Reverse.Double type D (ReverseDouble s) = Id Double

newtype Tape Source #

Constructors

Tape
Fields getTape :: IORef Head

data Head Source #

Constructors

Head !Int Cells

data Cells where Source #

Constructors

Nil :: Cells
Unary :: !Int -> Double -> Cells -> Cells
Binary :: !Int -> !Int -> Double -> Double -> Cells -> Cells

reifyTape :: Int -> (forall s. Reifies s Tape => Proxy s -> r) -> r Source #

Construct a tape that starts with n variables.

partials :: forall s. Reifies s Tape => ReverseDouble s -> [Double] Source #

Extract the partials from the current chain for a given AD variable.

partialArrayOf :: Reifies s Tape => Proxy s -> (Int, Int) -> ReverseDouble s -> Array Int Double Source #

Return an Array of partials given bounds for the variable IDs.

partialMapOf :: Reifies s Tape => Proxy s -> ReverseDouble s -> IntMap Double Source #

Return an IntMap of sparse partials

derivativeOf :: Reifies s Tape => Proxy s -> ReverseDouble s -> Double Source #

Helper that extracts the derivative of a chain when the chain was constructed with 1 variable.

derivativeOf' :: Reifies s Tape => Proxy s -> ReverseDouble s -> (Double, Double) Source #

Helper that extracts both the primal and derivative of a chain when the chain was constructed with 1 variable.

bind :: Traversable f => f Double -> (f (ReverseDouble s), (Int, Int)) Source #

unbind :: Functor f => f (ReverseDouble s) -> Array Int Double -> f Double Source #

unbindMap :: Functor f => f (ReverseDouble s) -> IntMap Double -> f Double Source #

unbindWith :: Functor f => (Double -> b -> c) -> f (ReverseDouble s) -> Array Int b -> f c Source #

unbindMapWithDefault :: Functor f => b -> (Double -> b -> c) -> f (ReverseDouble s) -> IntMap b -> f c Source #

var :: Double -> Int -> ReverseDouble s Source #

varId :: ReverseDouble s -> Int Source #

primal :: ReverseDouble s -> Double Source #