package js_of_ocaml-webidl

You can search for identifiers within the package.

in-package search v0.2.0

Generate js_of_ocaml bindings from webidl definitions

Install

Dune Dependency

github.com Readme Edit opam file Versions (2)

Authors

M

Misha Aizatulin <mihhail.aizatulin@gmail.com>

Maintainers

M

Misha Aizatulin <mihhail.aizatulin@gmail.com>

Sources

js_of_ocaml-webgpu-0.2.tbz

sha256=3b1f3ba2420ad3b35abf04b2d99d807868a3aafc8b437c2ef4589fe8ddf76cde

sha512=01f71bc8fcdb73569a9f34e942f33f677b6b8ceb6823699ca8aeab292f7f2413f39e689e7dd3b368dd7474b055b18e9d6ff7dba500971dc4dce744d0cf2fddcc

doc/src/js_of_ocaml-webidl.private-webidl/data.ml.html

Source file `data.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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
open Core
module Syntax = Webidl_syntax
open Syntax.Ast

type attribute =
  { is_static : bool
  ; is_readonly : bool
  ; is_inherit : bool
  ; type_with_ext : type_with_ext
  ; name : string
  }
[@@deriving sexp]

type special =
  [ `Getter
  | `Setter
  | `Deleter
  | `Legacycaller
  ]
[@@deriving sexp]

type operation =
  { specials : special list
  ; is_static : bool
  ; return_type : return_type
  ; ident : string option
  ; arguments : (extends * argument) list
  }
[@@deriving sexp]

type dictionary_member =
  { is_required : bool
  ; type_with_ext : type_with_ext
  ; ident : string
  ; default : default_value option
  }
[@@deriving sexp]

type dictionary =
  { ident : string
  ; inheritance : string option
  ; dictionary_members : (extends * dictionary_member) list
  }
[@@deriving sexp]

type operation_or_attribute =
  [ `Operation of operation
  | `Attribute of attribute
  ]
[@@deriving sexp]

type namespace_member = operation_or_attribute [@@deriving sexp]

type namespace =
  { ident : string
  ; namespace_members : (extends * namespace_member) list
  }
[@@deriving sexp]

type pattern_list =
  [ `Getter
  | `Identifiers of string list
  | `None
  ]
[@@deriving sexp]

type maplike =
  { is_readonly : bool
  ; key_type : type_with_ext
  ; value_type : type_with_ext
  }
[@@deriving sexp]

type setlike =
  { is_readonly : bool
  ; key_type : type_with_ext
  }
[@@deriving sexp]

type interface_member =
  [ `Const of const_type * string * const_value
  | `Operation of operation
  | `Stringifier of [ operation_or_attribute | `None ]
  | `Iterable of type_with_ext * type_with_ext option
  | `Attribute of attribute
  | `Maplike of maplike
  | `Setlike of setlike
  ]
[@@deriving sexp]

type interface =
  { ident : string
  ; inheritance : string option
  ; interface_members : (extends * interface_member) list
  }
[@@deriving sexp]

type mixin_member =
  [ `Const of const_type * string * const_value
  | `Operation of operation
  | `Stringifier of [ operation_or_attribute | `None ]
  | `Attribute of attribute
  | `Maplike of maplike
  | `Setlike of setlike
  ]
[@@deriving sexp]

type mixin =
  { ident : string
  ; mixin_members : (extends * mixin_member) list
  }
[@@deriving sexp]

type partial =
  [ `Interface of interface
  | `Mixin of mixin
  | `Dictionary of dictionary
  | `Namespace of namespace
  ]
[@@deriving sexp]

type callback =
  [ `Operation of operation
  | `Interface of interface
  ]
[@@deriving sexp]

type definition =
  [ `Callback of callback
  | `Interface of interface
  | `Mixin of mixin
  | `Namespace of namespace
  | `Partial of partial
  | `Dictionary of dictionary
  | `Enum of string * string list
  | `Typedef of type_with_ext * string
  | `Implements of string * string
  | `Includes of string * string
  ]
[@@deriving sexp]

type definitions = (extends * definition) list [@@deriving sexp]