package fadbadml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Interface to library FADBADml

Basic types

module type OpS = sig ... end

Type of a module of operators

module type OrderedOpS = sig ... end

Type of a module of operators over ordered elements

module OpFloat : sig ... end

Operators over float elements

module OrderedFloat : sig ... end

Operators over float elements, including comparison operators

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

Construct a FAD-like module from a module of operators

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

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

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

Construct a BAD-like module from a module of operators

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

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

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

Construct a TAD-like module from a module of operators

module Fadiff : sig ... end

module Badiff : sig ... end

Backward Automatic Differentiation (BAD)

module Tadiff : sig ... end

Automatic Taylor Expansion