package owl-base

  1. Overview
  2. Docs
package owl-base
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file owl_algodiff_ops_builder_sig.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
# 1 "src/base/algodiff/owl_algodiff_ops_builder_sig.ml"
(*
 * OWL - OCaml Scientific and Engineering Computing
 * Copyright (c) 2016-2020 Liang Wang <liang.wang@cl.cam.ac.uk>
 *)

module type Sig = sig
  type elt

  type arr

  type t

  type op

  module type Siso = sig
    val label : string

    val ff_f : elt -> t

    val ff_arr : arr -> t

    val df : t -> t -> t -> t

    val dr : t -> t -> t ref -> t
  end

  val build_siso : (module Siso) -> t -> t
  (** build single input single output operations *)

  module type Sipo = sig
    val label : string

    val ff_f : elt -> t * t

    val ff_arr : arr -> t * t

    val df : t -> t -> t -> t

    val dr : t -> t -> t ref * t ref -> t ref * t ref -> t
  end

  val build_sipo : (module Sipo) -> t -> t * t
  (** build single input pair outputs operations *)

  module type Sito = sig
    val label : string

    val ff_f : elt -> t * t * t

    val ff_arr : arr -> t * t * t

    val df : t -> t -> t -> t

    val dr : t -> t -> t ref * t ref * t ref -> t ref * t ref * t ref -> t
  end

  val build_sito : (module Sito) -> t -> t * t * t
  (** build single input triple outputs operations *)

  module type Siao = sig
    val label : string

    val ff_f : elt -> t array

    val ff_arr : arr -> t array

    val df : t -> t -> t -> t

    val dr : t -> t -> t ref array -> t ref array -> t
  end

  val build_siao : (module Siao) -> t -> t array
  (** build single input array output operations *)

  module type Piso = sig
    val label : string

    val ff_aa : elt -> elt -> t

    val ff_ab : elt -> arr -> t

    val ff_ba : arr -> elt -> t

    val ff_bb : arr -> arr -> t

    val df_da : t -> t -> t -> t -> t

    val df_db : t -> t -> t -> t -> t

    val df_dab : t -> t -> t -> t -> t -> t

    val dr_ab : t -> t -> t -> t ref -> t * t

    val dr_a : t -> t -> t -> t ref -> t

    val dr_b : t -> t -> t -> t ref -> t
  end

  val build_piso : (module Piso) -> t -> t -> t
  (** build pair inputs single output operations *)

  module type Aiso = sig
    val label : string

    val ff : t array -> t

    val df : int list -> t -> t array -> t array -> t

    val dr : int list -> t array -> t -> t ref -> t list
  end

  val build_aiso : (module Aiso) -> t array -> t
  (** build array input single output operations *)
end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct