ad-4.3: Automatic Differentiation

Copyright(c) Edward Kmett 2010-2015
LicenseBSD3
Maintainerekmett@gmail.com
Stabilityexperimental
PortabilityGHC only
Safe HaskellNone
LanguageHaskell2010

Numeric.AD.Mode

Contents

Description

 

Synopsis

AD modes

class (Num t, Num (Scalar t)) => Mode t where Source

Minimal complete definition

auto

Associated Types

type Scalar t Source

Methods

isKnownConstant :: t -> Bool Source

allowed to return False for items with a zero derivative, but we'll give more NaNs than strictly necessary

isKnownZero :: t -> Bool Source

allowed to return False for zero, but we give more NaN's than strictly necessary then

auto :: Scalar t -> t Source

Embed a constant

(*^) :: Scalar t -> t -> t infixr 7 Source

Scalar-vector multiplication

(^*) :: t -> Scalar t -> t infixl 7 Source

Vector-scalar multiplication

(^/) :: Fractional (Scalar t) => t -> Scalar t -> t infixr 7 Source

Scalar division

zero :: t Source

zero = lift 0

Instances