ad-4.3.6: Automatic Differentiation
Numeric.AD.Internal.Type
newtype AD s a Source #
Constructors
Fields
Defined in Numeric.AD.Internal.Type
Methods
minBound :: AD s a #
maxBound :: AD s a #
succ :: AD s a -> AD s a #
pred :: AD s a -> AD s a #
toEnum :: Int -> AD s a #
fromEnum :: AD s a -> Int #
enumFrom :: AD s a -> [AD s a] #
enumFromThen :: AD s a -> AD s a -> [AD s a] #
enumFromTo :: AD s a -> AD s a -> [AD s a] #
enumFromThenTo :: AD s a -> AD s a -> AD s a -> [AD s a] #
(==) :: AD s a -> AD s a -> Bool #
(/=) :: AD s a -> AD s a -> Bool #
pi :: AD s a #
exp :: AD s a -> AD s a #
log :: AD s a -> AD s a #
sqrt :: AD s a -> AD s a #
(**) :: AD s a -> AD s a -> AD s a #
logBase :: AD s a -> AD s a -> AD s a #
sin :: AD s a -> AD s a #
cos :: AD s a -> AD s a #
tan :: AD s a -> AD s a #
asin :: AD s a -> AD s a #
acos :: AD s a -> AD s a #
atan :: AD s a -> AD s a #
sinh :: AD s a -> AD s a #
cosh :: AD s a -> AD s a #
tanh :: AD s a -> AD s a #
asinh :: AD s a -> AD s a #
acosh :: AD s a -> AD s a #
atanh :: AD s a -> AD s a #
log1p :: AD s a -> AD s a #
expm1 :: AD s a -> AD s a #
log1pexp :: AD s a -> AD s a #
log1mexp :: AD s a -> AD s a #
(/) :: AD s a -> AD s a -> AD s a #
recip :: AD s a -> AD s a #
fromRational :: Rational -> AD s a #
(+) :: AD s a -> AD s a -> AD s a #
(-) :: AD s a -> AD s a -> AD s a #
(*) :: AD s a -> AD s a -> AD s a #
negate :: AD s a -> AD s a #
abs :: AD s a -> AD s a #
signum :: AD s a -> AD s a #
fromInteger :: Integer -> AD s a #
compare :: AD s a -> AD s a -> Ordering #
(<) :: AD s a -> AD s a -> Bool #
(<=) :: AD s a -> AD s a -> Bool #
(>) :: AD s a -> AD s a -> Bool #
(>=) :: AD s a -> AD s a -> Bool #
max :: AD s a -> AD s a -> AD s a #
min :: AD s a -> AD s a -> AD s a #
readsPrec :: Int -> ReadS (AD s a) #
readList :: ReadS [AD s a] #
readPrec :: ReadPrec (AD s a) #
readListPrec :: ReadPrec [AD s a] #
toRational :: AD s a -> Rational #
floatRadix :: AD s a -> Integer #
floatDigits :: AD s a -> Int #
floatRange :: AD s a -> (Int, Int) #
decodeFloat :: AD s a -> (Integer, Int) #
encodeFloat :: Integer -> Int -> AD s a #
exponent :: AD s a -> Int #
significand :: AD s a -> AD s a #
scaleFloat :: Int -> AD s a -> AD s a #
isNaN :: AD s a -> Bool #
isInfinite :: AD s a -> Bool #
isDenormalized :: AD s a -> Bool #
isNegativeZero :: AD s a -> Bool #
isIEEE :: AD s a -> Bool #
atan2 :: AD s a -> AD s a -> AD s a #
properFraction :: Integral b => AD s a -> (b, AD s a) #
truncate :: Integral b => AD s a -> b #
round :: Integral b => AD s a -> b #
ceiling :: Integral b => AD s a -> b #
floor :: Integral b => AD s a -> b #
showsPrec :: Int -> AD s a -> ShowS #
show :: AD s a -> String #
showList :: [AD s a] -> ShowS #
erf :: AD s a -> AD s a #
erfc :: AD s a -> AD s a #
erfcx :: AD s a -> AD s a #
normcdf :: AD s a -> AD s a #
inverf :: AD s a -> AD s a #
inverfc :: AD s a -> AD s a #
invnormcdf :: AD s a -> AD s a #
Associated Types
type Scalar (AD s a) :: Type Source #
isKnownConstant :: AD s a -> Bool Source #
isKnownZero :: AD s a -> Bool Source #
auto :: Scalar (AD s a) -> AD s a Source #
(*^) :: Scalar (AD s a) -> AD s a -> AD s a Source #
(^*) :: AD s a -> Scalar (AD s a) -> AD s a Source #
(^/) :: AD s a -> Scalar (AD s a) -> AD s a Source #
zero :: AD s a Source #