ad-4.5.6: Automatic Differentiation
Copyright(c) Edward Kmett 2010-2021
LicenseBSD3
Maintainerekmett@gmail.com
Stabilityexperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Numeric.AD.Internal.On

Description

 
Synopsis

Documentation

newtype On t Source #

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

Constructors

On 

Fields

Instances

Instances details
(Mode t, Mode (Scalar t), Num (Scalar (Scalar t))) => Mode (On t) Source # 
Instance details

Defined in Numeric.AD.Internal.On

Associated Types

type Scalar (On t) Source #

Methods

isKnownConstant :: On t -> Bool Source #

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

isKnownZero :: On t -> Bool Source #

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

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

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

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

zero :: On t Source #

Bounded t => Bounded (On t) Source # 
Instance details

Defined in Numeric.AD.Internal.On

Methods

minBound :: On t #

maxBound :: On t #

Enum t => Enum (On t) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Numeric.AD.Internal.On

Methods

toRational :: On t -> Rational #

RealFrac t => RealFrac (On t) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Numeric.AD.Internal.On

Methods

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

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

Ord t => Ord (On t) Source # 
Instance details

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) Source # 
Instance details

Defined in Numeric.AD.Internal.On

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