Numeric.AD.Internal.On

Documentation

newtype On t

The composition of two AD modes is an AD mode in its own right

Constructors

On

Fields

• off :: t

Instances

(Mode t, Mode (Scalar t), Num (Scalar (Scalar t))) => Mode (On t)

Defined in Numeric.AD.Internal.On

Associated Types

type Scalar (On t)

Methods

isKnownConstant :: On t -> Bool

asKnownConstant :: On t -> Maybe (Scalar (On t))

isKnownZero :: On t -> Bool

auto :: Scalar (On t) -> On t

(*^) :: Scalar (On t) -> On t -> On t

(^*) :: On t -> Scalar (On t) -> On t

(^/) :: On t -> Scalar (On t) -> On t

zero :: On t

Bounded t => Bounded (On t)

Defined in Numeric.AD.Internal.On

Methods

minBound :: On t

maxBound :: On t

Enum t => Enum (On t)

Defined in Numeric.AD.Internal.On

Methods

succ :: On t -> On t

pred :: On t -> On t

toEnum :: Int -> On t

fromEnum :: On t -> Int

enumFrom :: On t -> [On t]

enumFromThen :: On t -> On t -> [On t]

enumFromTo :: On t -> On t -> [On t]

enumFromThenTo :: On t -> On t -> On t -> [On t]

Floating t => Floating (On t)

Defined in Numeric.AD.Internal.On

Methods

pi :: On t

exp :: On t -> On t

log :: On t -> On t

sqrt :: On t -> On t

(**) :: On t -> On t -> On t

logBase :: On t -> On t -> On t

sin :: On t -> On t

cos :: On t -> On t

tan :: On t -> On t

asin :: On t -> On t

acos :: On t -> On t

atan :: On t -> On t

sinh :: On t -> On t

cosh :: On t -> On t

tanh :: On t -> On t

asinh :: On t -> On t

acosh :: On t -> On t

atanh :: On t -> On t

log1p :: On t -> On t

expm1 :: On t -> On t

log1pexp :: On t -> On t

log1mexp :: On t -> On t

RealFloat t => RealFloat (On t)

Defined in Numeric.AD.Internal.On

Methods

floatRadix :: On t -> Integer

floatDigits :: On t -> Int

floatRange :: On t -> (Int, Int)

decodeFloat :: On t -> (Integer, Int)

encodeFloat :: Integer -> Int -> On t

exponent :: On t -> Int

significand :: On t -> On t

scaleFloat :: Int -> On t -> On t

isNaN :: On t -> Bool

isInfinite :: On t -> Bool

isDenormalized :: On t -> Bool

isNegativeZero :: On t -> Bool

isIEEE :: On t -> Bool

atan2 :: On t -> On t -> On t

Num t => Num (On t)

Defined in Numeric.AD.Internal.On

Methods

(+) :: On t -> On t -> On t

(-) :: On t -> On t -> On t

(*) :: On t -> On t -> On t

negate :: On t -> On t

abs :: On t -> On t

signum :: On t -> On t

fromInteger :: Integer -> On t

Fractional t => Fractional (On t)

Defined in Numeric.AD.Internal.On

Methods

(/) :: On t -> On t -> On t

recip :: On t -> On t

fromRational :: Rational -> On t

Real t => Real (On t)

Defined in Numeric.AD.Internal.On

Methods

toRational :: On t -> Rational

RealFrac t => RealFrac (On t)

Defined in Numeric.AD.Internal.On

Methods

properFraction :: Integral b => On t -> (b, On t)

truncate :: Integral b => On t -> b

round :: Integral b => On t -> b

ceiling :: Integral b => On t -> b

floor :: Integral b => On t -> b

Erf t => Erf (On t)

Defined in Numeric.AD.Internal.On

Methods

erf :: On t -> On t

erfc :: On t -> On t

erfcx :: On t -> On t

normcdf :: On t -> On t

InvErf t => InvErf (On t)

Defined in Numeric.AD.Internal.On

Methods

inverf :: On t -> On t

inverfc :: On t -> On t

invnormcdf :: On t -> On t

Eq t => Eq (On t)

Defined in Numeric.AD.Internal.On

Methods

(==) :: On t -> On t -> Bool

(/=) :: On t -> On t -> Bool

Ord t => Ord (On t)

Defined in Numeric.AD.Internal.On

Methods

compare :: On t -> On t -> Ordering

(<) :: On t -> On t -> Bool

(<=) :: On t -> On t -> Bool

(>) :: On t -> On t -> Bool

(>=) :: On t -> On t -> Bool

max :: On t -> On t -> On t

min :: On t -> On t -> On t

type Scalar (On t)

Defined in Numeric.AD.Internal.On

type Scalar (On t) = Scalar (Scalar t)