ad-4.3.6: Automatic Differentiation

Safe HaskellNone
LanguageHaskell2010

Numeric.AD.Internal.Forward.Double

Documentation

data ForwardDouble #

Constructors

ForwardDouble 

Fields

Instances
Enum ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

succ :: ForwardDouble -> ForwardDouble #

pred :: ForwardDouble -> ForwardDouble #

toEnum :: Int -> ForwardDouble #

fromEnum :: ForwardDouble -> Int #

enumFrom :: ForwardDouble -> [ForwardDouble] #

enumFromThen :: ForwardDouble -> ForwardDouble -> [ForwardDouble] #

enumFromTo :: ForwardDouble -> ForwardDouble -> [ForwardDouble] #

enumFromThenTo :: ForwardDouble -> ForwardDouble -> ForwardDouble -> [ForwardDouble] #

Eq ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

(==) :: ForwardDouble -> ForwardDouble -> Bool #

(/=) :: ForwardDouble -> ForwardDouble -> Bool #

Floating ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

pi :: ForwardDouble #

exp :: ForwardDouble -> ForwardDouble #

log :: ForwardDouble -> ForwardDouble #

sqrt :: ForwardDouble -> ForwardDouble #

(**) :: ForwardDouble -> ForwardDouble -> ForwardDouble #

logBase :: ForwardDouble -> ForwardDouble -> ForwardDouble #

sin :: ForwardDouble -> ForwardDouble #

cos :: ForwardDouble -> ForwardDouble #

tan :: ForwardDouble -> ForwardDouble #

asin :: ForwardDouble -> ForwardDouble #

acos :: ForwardDouble -> ForwardDouble #

atan :: ForwardDouble -> ForwardDouble #

sinh :: ForwardDouble -> ForwardDouble #

cosh :: ForwardDouble -> ForwardDouble #

tanh :: ForwardDouble -> ForwardDouble #

asinh :: ForwardDouble -> ForwardDouble #

acosh :: ForwardDouble -> ForwardDouble #

atanh :: ForwardDouble -> ForwardDouble #

log1p :: ForwardDouble -> ForwardDouble #

expm1 :: ForwardDouble -> ForwardDouble #

log1pexp :: ForwardDouble -> ForwardDouble #

log1mexp :: ForwardDouble -> ForwardDouble #

Fractional ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

(/) :: ForwardDouble -> ForwardDouble -> ForwardDouble #

recip :: ForwardDouble -> ForwardDouble #

fromRational :: Rational -> ForwardDouble #

Num ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

(+) :: ForwardDouble -> ForwardDouble -> ForwardDouble #

(-) :: ForwardDouble -> ForwardDouble -> ForwardDouble #

(*) :: ForwardDouble -> ForwardDouble -> ForwardDouble #

negate :: ForwardDouble -> ForwardDouble #

abs :: ForwardDouble -> ForwardDouble #

signum :: ForwardDouble -> ForwardDouble #

fromInteger :: Integer -> ForwardDouble #

Ord ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

compare :: ForwardDouble -> ForwardDouble -> Ordering #

(<) :: ForwardDouble -> ForwardDouble -> Bool #

(<=) :: ForwardDouble -> ForwardDouble -> Bool #

(>) :: ForwardDouble -> ForwardDouble -> Bool #

(>=) :: ForwardDouble -> ForwardDouble -> Bool #

max :: ForwardDouble -> ForwardDouble -> ForwardDouble #

min :: ForwardDouble -> ForwardDouble -> ForwardDouble #

Read ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

readsPrec :: Int -> ReadS ForwardDouble #

readList :: ReadS [ForwardDouble] #

readPrec :: ReadPrec ForwardDouble #

readListPrec :: ReadPrec [ForwardDouble] #

Real ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

toRational :: ForwardDouble -> Rational #

RealFloat ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

floatRadix :: ForwardDouble -> Integer #

floatDigits :: ForwardDouble -> Int #

floatRange :: ForwardDouble -> (Int, Int) #

decodeFloat :: ForwardDouble -> (Integer, Int) #

encodeFloat :: Integer -> Int -> ForwardDouble #

exponent :: ForwardDouble -> Int #

significand :: ForwardDouble -> ForwardDouble #

scaleFloat :: Int -> ForwardDouble -> ForwardDouble #

isNaN :: ForwardDouble -> Bool #

isInfinite :: ForwardDouble -> Bool #

isDenormalized :: ForwardDouble -> Bool #

isNegativeZero :: ForwardDouble -> Bool #

isIEEE :: ForwardDouble -> Bool #

atan2 :: ForwardDouble -> ForwardDouble -> ForwardDouble #

RealFrac ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

properFraction :: Integral b => ForwardDouble -> (b, ForwardDouble) #

truncate :: Integral b => ForwardDouble -> b #

round :: Integral b => ForwardDouble -> b #

ceiling :: Integral b => ForwardDouble -> b #

floor :: Integral b => ForwardDouble -> b #

Show ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

showsPrec :: Int -> ForwardDouble -> ShowS #

show :: ForwardDouble -> String #

showList :: [ForwardDouble] -> ShowS #

Erf ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

erf :: ForwardDouble -> ForwardDouble #

erfc :: ForwardDouble -> ForwardDouble #

erfcx :: ForwardDouble -> ForwardDouble #

normcdf :: ForwardDouble -> ForwardDouble #

InvErf ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Methods

inverf :: ForwardDouble -> ForwardDouble #

inverfc :: ForwardDouble -> ForwardDouble #

invnormcdf :: ForwardDouble -> ForwardDouble #

Mode ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Associated Types

type Scalar ForwardDouble :: Type #

Methods

isKnownConstant :: ForwardDouble -> Bool #

isKnownZero :: ForwardDouble -> Bool #

auto :: Scalar ForwardDouble -> ForwardDouble #

(*^) :: Scalar ForwardDouble -> ForwardDouble -> ForwardDouble #

(^*) :: ForwardDouble -> Scalar ForwardDouble -> ForwardDouble #

(^/) :: ForwardDouble -> Scalar ForwardDouble -> ForwardDouble #

zero :: ForwardDouble #

Jacobian ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

Associated Types

type D ForwardDouble :: Type #

Methods

unary :: (Scalar ForwardDouble -> Scalar ForwardDouble) -> D ForwardDouble -> ForwardDouble -> ForwardDouble #

lift1 :: (Scalar ForwardDouble -> Scalar ForwardDouble) -> (D ForwardDouble -> D ForwardDouble) -> ForwardDouble -> ForwardDouble #

lift1_ :: (Scalar ForwardDouble -> Scalar ForwardDouble) -> (D ForwardDouble -> D ForwardDouble -> D ForwardDouble) -> ForwardDouble -> ForwardDouble #

binary :: (Scalar ForwardDouble -> Scalar ForwardDouble -> Scalar ForwardDouble) -> D ForwardDouble -> D ForwardDouble -> ForwardDouble -> ForwardDouble -> ForwardDouble #

lift2 :: (Scalar ForwardDouble -> Scalar ForwardDouble -> Scalar ForwardDouble) -> (D ForwardDouble -> D ForwardDouble -> (D ForwardDouble, D ForwardDouble)) -> ForwardDouble -> ForwardDouble -> ForwardDouble #

lift2_ :: (Scalar ForwardDouble -> Scalar ForwardDouble -> Scalar ForwardDouble) -> (D ForwardDouble -> D ForwardDouble -> D ForwardDouble -> (D ForwardDouble, D ForwardDouble)) -> ForwardDouble -> ForwardDouble -> ForwardDouble #

type Scalar ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

type Scalar ForwardDouble = Double
type D ForwardDouble # 
Instance details

Defined in Numeric.AD.Internal.Forward.Double

type D ForwardDouble = Id Double

bundle :: Double -> Double -> ForwardDouble #

unbundle :: ForwardDouble -> (Double, Double) #

apply :: (ForwardDouble -> b) -> Double -> b #

bind :: Traversable f => (f ForwardDouble -> b) -> f Double -> f b #

bind' :: Traversable f => (f ForwardDouble -> b) -> f Double -> (b, f b) #

bindWith :: Traversable f => (Double -> b -> c) -> (f ForwardDouble -> b) -> f Double -> f c #

bindWith' :: Traversable f => (Double -> b -> c) -> (f ForwardDouble -> b) -> f Double -> (b, f c) #

transposeWith :: (Functor f, Foldable f, Traversable g) => (b -> f a -> c) -> f (g a) -> g b -> g c #