package fadbadml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fadbad`Source

Interface to library FADBADml

Sourcemodule type OpS = sig ... end

Type of a module of operators

Sourcemodule type OrderedOpS = sig ... end

Type of a module of operators over ordered elements

Sourcemodule OpFloat : sig ... end

Operators over float elements

Sourcemodule OrderedFloat : sig ... end

Operators over float elements, including comparison operators

Sourcemodule F (T : OpS) : sig ... end

Construct a FAD-like module from a module of operators

Sourcemodule OrderedF (T : OrderedOpS) : sig ... end

Construct a FAD-like module from a module of operators over ordered elements

Sourcemodule B (T : OpS) : sig ... end

Construct a BAD-like module from a module of operators

Sourcemodule OrderedB (T : OrderedOpS) : sig ... end

Construct a BAD-like module from a module of operators over ordered elements

Sourcemodule T (T : OpS) : sig ... end

Construct a TAD-like module from a module of operators

Sourcemodule Fadiff : sig ... end

Sourcemodule Badiff : sig ... end

Backward Automatic Differentiation (BAD)

Sourcemodule Tadiff : sig ... end

Automatic Taylor Expansion