package fadbadml

  1. Overview
  2. Docs

Module Fadbad.TSource

Construct a TAD-like module from a module of operators

Parameters

module T : OpS

Signature

Sourcetype t
Sourcetype elt = T.elt
Sourcetype scalar = T.scalar
Sourceval copy : t -> t
Sourceval deepcopy : t -> t
Sourceval create : unit -> t
Sourceval make : elt -> t
Sourceval integer : int -> t
Sourceval zero : unit -> t
Sourceval one : unit -> t
Sourceval two : unit -> t
Sourceval get : t -> elt
Sourceval (!!) : t -> elt
Sourceval to_string : t -> string
Sourceval string_of_scalar : scalar -> string
Sourceval string_of_elt : elt -> string
Sourceval (~+) : t -> t
Sourceval (~-) : t -> t
Sourceval (+) : t -> t -> t
Sourceval (+=) : t -> t -> t
Sourceval (-) : t -> t -> t
Sourceval (-=) : t -> t -> t
Sourceval (*) : t -> t -> t
Sourceval (*=) : t -> t -> t
Sourceval (/) : t -> t -> t
Sourceval (/=) : t -> t -> t
Sourceval (**) : t -> t -> t
Sourceval inv : t -> t
Sourceval sqr : t -> t
Sourceval sqrt : t -> t
Sourceval log : t -> t
Sourceval exp : t -> t
Sourceval sin : t -> t
Sourceval cos : t -> t
Sourceval tan : t -> t
Sourceval asin : t -> t
Sourceval acos : t -> t
Sourceval atan : t -> t
Sourceval scale : t -> scalar -> t
Sourceval translate : t -> scalar -> t
Sourceval (=) : t -> t -> bool
Sourceval (<>) : t -> t -> bool
Sourcetype op = ..
Sourcetype op +=
  1. | CONST
  2. | SCALE of scalar
  3. | TRANS of scalar
  4. | SIN of T.t array
  5. | COS of T.t array
  6. | ADD
  7. | SUB
  8. | MUL
  9. | DIV
  10. | POW
  11. | POS
  12. | NEG
  13. | INV
  14. | SQR
  15. | SQRT
  16. | EXP
  17. | LOG
  18. | TAN
  19. | ASIN
  20. | ACOS
  21. | ATAN
Sourceval string_of_op : op -> string
Sourceval lift : T.t -> t
Sourceval value : t -> T.t
Sourceval operator : t -> op
Sourceval order : t -> int
Sourceval un_op : op -> t -> t
Sourceval bin_op : op -> t -> t -> t
Sourceval set : t -> int -> T.t -> unit
Sourceval d : t -> int -> elt
Sourceval deriv : t -> int -> T.t
Sourceval get_tvalues : t -> elt array
Sourceval get_derivatives : t -> elt array
Sourceval eval : t -> int -> int
Sourceval reset : t -> unit