Numeric.AD.Internal.Type

Documentation

newtype AD s a

Constructors

AD

Fields

• runAD :: a

Instances

Mode a => Mode (AD s a)

Defined in Numeric.AD.Internal.Type

Associated Types

type Scalar (AD s a)

Methods

isKnownConstant :: AD s a -> Bool

asKnownConstant :: AD s a -> Maybe (Scalar (AD s a))

isKnownZero :: AD s a -> Bool

auto :: Scalar (AD s a) -> AD s a

(*^) :: Scalar (AD s a) -> AD s a -> AD s a

(^*) :: AD s a -> Scalar (AD s a) -> AD s a

(^/) :: AD s a -> Scalar (AD s a) -> AD s a

zero :: AD s a

Bounded a => Bounded (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

minBound :: AD s a

maxBound :: AD s a

Enum a => Enum (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

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]

Floating a => Floating (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

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

RealFloat a => RealFloat (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

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

Num a => Num (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

(+) :: 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

Read a => Read (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

readsPrec :: Int -> ReadS (AD s a)

readList :: ReadS [AD s a]

readPrec :: ReadPrec (AD s a)

readListPrec :: ReadPrec [AD s a]

Fractional a => Fractional (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

(/) :: AD s a -> AD s a -> AD s a

recip :: AD s a -> AD s a

fromRational :: Rational -> AD s a

Real a => Real (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

toRational :: AD s a -> Rational

RealFrac a => RealFrac (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

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

Show a => Show (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

showsPrec :: Int -> AD s a -> ShowS

show :: AD s a -> String

showList :: [AD s a] -> ShowS

Erf a => Erf (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

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 a => InvErf (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

inverf :: AD s a -> AD s a

inverfc :: AD s a -> AD s a

invnormcdf :: AD s a -> AD s a

Eq a => Eq (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

(==) :: AD s a -> AD s a -> Bool

(/=) :: AD s a -> AD s a -> Bool

Ord a => Ord (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

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

type Scalar (AD s a)

Defined in Numeric.AD.Internal.Type

type Scalar (AD s a) = Scalar a