package fadbadml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package fadbadml

fadbadml
- Badiff
  - BTypeName
    
    T
  - OrderedBTypeName
    
    T
- Fadbad
  - B
    
    T
  - F
    
    T
  - OrderedB
    
    T
  - OrderedF
    
    T
  - T
    
    T
- Fadbad_utils
- Fadiff
  - FTypeName
    
    T
  - OrderedFTypeName
    
    T
- Op
  - Float
  - OrderedFloat
- Tadiff
  - OrderedTTypeName
    
    T
  - TTypeName
    
    T

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : Types.OpS

Signature

type t

type elt = T.elt

type scalar = T.scalar

val copy : t -> t

val deepcopy : t -> t

val create : unit -> t

val make : elt -> t

val integer : int -> t

val zero : unit -> t

val one : unit -> t

val two : unit -> t

val get : t -> elt

val (!!) : t -> elt

val to_string : t -> string

val string_of_scalar : scalar -> string

val string_of_elt : elt -> string

val (~+) : t -> t

val (~-) : t -> t

val (+) : t -> t -> t

val (+=) : t -> t -> t

val (-) : t -> t -> t

val (-=) : t -> t -> t

val (*) : t -> t -> t

val (*=) : t -> t -> t

val (/) : t -> t -> t

val (/=) : t -> t -> t

val (**) : t -> t -> t

val inv : t -> t

val sqr : t -> t

val sqrt : t -> t

val log : t -> t

val exp : t -> t

val sin : t -> t

val cos : t -> t

val tan : t -> t

val asin : t -> t

val acos : t -> t

val atan : t -> t

val scale : t -> scalar -> t

val translate : t -> scalar -> t

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

type op = ..

type op +=

| CONST
| SCALE of scalar
| TRANS of scalar
| ADD
| SUB
| MUL
| DIV
| POW
| POS
| NEG
| INV
| SQR
| SQRT
| EXP
| LOG
| SIN
| COS
| TAN
| ASIN
| ACOS
| ATAN

val lift : T.t -> t

val value : t -> T.t

val diff : t -> int -> int -> unit

val d : t -> int -> elt

val deriv : t -> int -> T.t

val compute : t -> unit

val compute_list : t list -> unit