package js_of_ocaml-webidl

  1. Overview
  2. Docs
type primitive = [
  1. | `Boolean
  2. | `Byte
  3. | `Octet
  4. | `Unrestricted of [ `Float | `Double ]
  5. | `Float
  6. | `Double
  7. | `Unsigned of [ `Short | `Long | `LongLong ]
  8. | `Short
  9. | `Long
  10. | `LongLong
]
val __primitive_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> primitive
val primitive_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> primitive
val sexp_of_primitive : primitive -> Ppx_sexp_conv_lib.Sexp.t
type string_type = [
  1. | `ByteString
  2. | `DOMString
  3. | `USVString
]
val __string_type_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> string_type
val string_type_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> string_type
val sexp_of_string_type : string_type -> Ppx_sexp_conv_lib.Sexp.t
type buffer = [
  1. | `ArrayBuffer
  2. | `DataView
  3. | `Int8Array
  4. | `Int16Array
  5. | `Int32Array
  6. | `Uint8Array
  7. | `Uint16Array
  8. | `Uint32Array
  9. | `Uint8Clampedarray
  10. | `Float32Array
  11. | `Float64Array
]
val __buffer_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> buffer
val buffer_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> buffer
val sexp_of_buffer : buffer -> Ppx_sexp_conv_lib.Sexp.t
type 'type_with_ext nullable_non_any_aux = [
  1. | primitive
  2. | string_type
  3. | `Ident of string
  4. | `Sequence of 'type_with_ext
  5. | `Object
  6. | `Error
  7. | `DomException
  8. | buffer
  9. | `FrozenArray of 'type_with_ext
  10. | `Record of string_type * 'type_with_ext
]
val __nullable_non_any_aux_of_sexp__ : 'type_with_ext. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext nullable_non_any_aux
val nullable_non_any_aux_of_sexp : 'type_with_ext. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext nullable_non_any_aux
val sexp_of_nullable_non_any_aux : 'type_with_ext. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> 'type_with_ext nullable_non_any_aux -> Ppx_sexp_conv_lib.Sexp.t
type ('type_with_ext, 'union_type) nullable_union_aux = [
  1. | 'type_with_ext nullable_non_any_aux
  2. | `Union of 'union_type
]
val __nullable_union_aux_of_sexp__ : 'type_with_ext 'union_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'union_type) nullable_union_aux
val nullable_union_aux_of_sexp : 'type_with_ext 'union_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'union_type) nullable_union_aux
val sexp_of_nullable_union_aux : 'type_with_ext 'union_type. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> ('union_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('type_with_ext, 'union_type) nullable_union_aux -> Ppx_sexp_conv_lib.Sexp.t
type ('type_with_ext, 'return_type) non_any_aux = [
  1. | `Promise of 'return_type
  2. | `Nullable of 'type_with_ext nullable_non_any_aux
  3. | 'type_with_ext nullable_non_any_aux
]
val __non_any_aux_of_sexp__ : 'type_with_ext 'return_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type) non_any_aux
val non_any_aux_of_sexp : 'type_with_ext 'return_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type) non_any_aux
val sexp_of_non_any_aux : 'type_with_ext 'return_type. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> ('return_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('type_with_ext, 'return_type) non_any_aux -> Ppx_sexp_conv_lib.Sexp.t
type ('type_with_ext, 'return_type, 'union_type, 'extends) union_member_aux = [
  1. | `NonAny of 'extends * ('type_with_ext, 'return_type) non_any_aux
  2. | `Union of 'union_type
  3. | `Nullable of [ `Union of 'union_type ]
]
val __union_member_aux_of_sexp__ : 'type_with_ext 'return_type 'union_type 'extends. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'extends) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type, 'extends) union_member_aux
val union_member_aux_of_sexp : 'type_with_ext 'return_type 'union_type 'extends. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'extends) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type, 'extends) union_member_aux
val sexp_of_union_member_aux : 'type_with_ext 'return_type 'union_type 'extends. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> ('return_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('union_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('extends -> Ppx_sexp_conv_lib.Sexp.t) -> ('type_with_ext, 'return_type, 'union_type, 'extends) union_member_aux -> Ppx_sexp_conv_lib.Sexp.t
type ('type_with_ext, 'return_type, 'union_type, 'extends) union_type_aux = ('type_with_ext, 'return_type, 'union_type, 'extends) union_member_aux list
val union_type_aux_of_sexp : 'type_with_ext 'return_type 'union_type 'extends. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'extends) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type, 'extends) union_type_aux
val sexp_of_union_type_aux : 'type_with_ext 'return_type 'union_type 'extends. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> ('return_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('union_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('extends -> Ppx_sexp_conv_lib.Sexp.t) -> ('type_with_ext, 'return_type, 'union_type, 'extends) union_type_aux -> Ppx_sexp_conv_lib.Sexp.t
type ('type_with_ext, 'return_type, 'union_type) type_aux = [
  1. | `Promise of 'return_type
  2. | 'type_with_ext nullable_non_any_aux
  3. | `Any
  4. | `Nullable of ('type_with_ext, 'union_type) nullable_union_aux
  5. | `Union of 'union_type
]
val __type_aux_of_sexp__ : 'type_with_ext 'return_type 'union_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type) type_aux
val type_aux_of_sexp : 'type_with_ext 'return_type 'union_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type) type_aux
val sexp_of_type_aux : 'type_with_ext 'return_type 'union_type. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> ('return_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('union_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('type_with_ext, 'return_type, 'union_type) type_aux -> Ppx_sexp_conv_lib.Sexp.t
type ('type_with_ext, 'return_type, 'union_type) return_type_aux = [
  1. | ('type_with_ext, 'return_type, 'union_type) type_aux
  2. | `Void
]
val __return_type_aux_of_sexp__ : 'type_with_ext 'return_type 'union_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type) return_type_aux
val return_type_aux_of_sexp : 'type_with_ext 'return_type 'union_type. (Ppx_sexp_conv_lib.Sexp.t -> 'type_with_ext) -> (Ppx_sexp_conv_lib.Sexp.t -> 'return_type) -> (Ppx_sexp_conv_lib.Sexp.t -> 'union_type) -> Ppx_sexp_conv_lib.Sexp.t -> ('type_with_ext, 'return_type, 'union_type) return_type_aux
val sexp_of_return_type_aux : 'type_with_ext 'return_type 'union_type. ('type_with_ext -> Ppx_sexp_conv_lib.Sexp.t) -> ('return_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('union_type -> Ppx_sexp_conv_lib.Sexp.t) -> ('type_with_ext, 'return_type, 'union_type) return_type_aux -> Ppx_sexp_conv_lib.Sexp.t
type type_with_ext = extends * type_
and type_ = (type_with_ext, return_type, union_type) type_aux
and nullable_non_any = type_with_ext nullable_non_any_aux
and const_value = [
  1. | `Bool of bool
  2. | `Float of float
  3. | `Int of int
  4. | `Null
]
and const = [
  1. | primitive
  2. | `Ident of string
]
and default_value = [
  1. | `Const of const_value
  2. | `String of string
  3. | `EmptySequence
]
and argument = [
  1. | `Optional of type_with_ext * string * default_value option
  2. | `Variadic of type_ * string
  3. | `Fixed of type_ * string
]
and extended_argument = extends * argument
and extended_attribute = [
  1. | `Custom of string
  2. | `NoArgs of string
  3. | `ArgumentList of string * extended_argument list
  4. | `NamedArgList of string * string * extended_argument list
  5. | `Ident of string * string
  6. | `IdentList of string * string list
]
and extends = extended_attribute list
val type_with_ext_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> type_with_ext
val type__of_sexp : Ppx_sexp_conv_lib.Sexp.t -> type_
val return_type_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> return_type
val union_type_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> union_type
val nullable_non_any_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> nullable_non_any
val non_any_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> non_any
val __const_value_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> const_value
val const_value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> const_value
val __const_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> const
val const_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> const
val __default_value_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> default_value
val default_value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> default_value
val __argument_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> argument
val argument_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> argument
val extended_argument_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> extended_argument
val __extended_attribute_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> extended_attribute
val extended_attribute_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> extended_attribute
val extends_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> extends
val sexp_of_type_with_ext : type_with_ext -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_type_ : type_ -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_return_type : return_type -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_union_type : union_type -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_nullable_non_any : nullable_non_any -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_non_any : non_any -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_const_value : const_value -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_const : const -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_default_value : default_value -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_argument : argument -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_extended_argument : extended_argument -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_extended_attribute : extended_attribute -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_extends : extends -> Ppx_sexp_conv_lib.Sexp.t
type special = [
  1. | `Getter
  2. | `Setter
  3. | `Deleter
  4. | `Legacycaller
]
val __special_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> special
val special_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> special
val sexp_of_special : special -> Ppx_sexp_conv_lib.Sexp.t
type operation_rest = string option * (extends * argument) list
val operation_rest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> operation_rest
val sexp_of_operation_rest : operation_rest -> Ppx_sexp_conv_lib.Sexp.t
type no_special_operation = [
  1. | `NoSpecialOperation of return_type * operation_rest
]
val __no_special_operation_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> no_special_operation
val no_special_operation_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> no_special_operation
val sexp_of_no_special_operation : no_special_operation -> Ppx_sexp_conv_lib.Sexp.t
type operation = [
  1. | no_special_operation
  2. | `SpecialOperation of special list * return_type * operation_rest
]
val __operation_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> operation
val operation_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> operation
val sexp_of_operation : operation -> Ppx_sexp_conv_lib.Sexp.t
type dictionary_member = [
  1. | `Required of type_with_ext * string * default_value option
  2. | `NotRequired of type_ * string * default_value option
]
val __dictionary_member_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> dictionary_member
val dictionary_member_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> dictionary_member
val sexp_of_dictionary_member : dictionary_member -> Ppx_sexp_conv_lib.Sexp.t
type dictionary = string * string option * (extends * dictionary_member) list
val dictionary_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> dictionary
val sexp_of_dictionary : dictionary -> Ppx_sexp_conv_lib.Sexp.t
type attribute_rest = [
  1. | `AttributeRest of type_with_ext * string
]
val __attribute_rest_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> attribute_rest
val attribute_rest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> attribute_rest
val sexp_of_attribute_rest : attribute_rest -> Ppx_sexp_conv_lib.Sexp.t
type operation_or_attribute = [
  1. | no_special_operation
  2. | attribute_rest
]
val __operation_or_attribute_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> operation_or_attribute
val operation_or_attribute_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> operation_or_attribute
val sexp_of_operation_or_attribute : operation_or_attribute -> Ppx_sexp_conv_lib.Sexp.t
type namespace_member = [
  1. | no_special_operation
  2. | `ReadOnly of attribute_rest
]
val __namespace_member_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> namespace_member
val namespace_member_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> namespace_member
val sexp_of_namespace_member : namespace_member -> Ppx_sexp_conv_lib.Sexp.t
type namespace = string * (extends * namespace_member) list
val namespace_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> namespace
val sexp_of_namespace : namespace -> Ppx_sexp_conv_lib.Sexp.t
type maplike = type_with_ext * type_with_ext
val maplike_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> maplike
val sexp_of_maplike : maplike -> Ppx_sexp_conv_lib.Sexp.t
type setlike = type_with_ext
val setlike_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> setlike
val sexp_of_setlike : setlike -> Ppx_sexp_conv_lib.Sexp.t
type const_type = [
  1. | const
  2. | `Nullable of const
]
val __const_type_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> const_type
val const_type_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> const_type
val sexp_of_const_type : const_type -> Ppx_sexp_conv_lib.Sexp.t
type static_member = [
  1. | operation_or_attribute
  2. | `ReadOnly of attribute_rest
]
val __static_member_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> static_member
val static_member_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> static_member
val sexp_of_static_member : static_member -> Ppx_sexp_conv_lib.Sexp.t
type readonly_member = [
  1. | `Maplike of maplike
  2. | `Setlike of setlike
  3. | attribute_rest
]
val __readonly_member_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> readonly_member
val readonly_member_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> readonly_member
val sexp_of_readonly_member : readonly_member -> Ppx_sexp_conv_lib.Sexp.t
type attribute = [
  1. | `Inherit of attribute_rest
  2. | attribute_rest
]
val __attribute_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> attribute
val attribute_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> attribute
val sexp_of_attribute : attribute -> Ppx_sexp_conv_lib.Sexp.t
type interface_member = [
  1. | `ReadOnly of readonly_member
  2. | `Static of static_member
  3. | `Const of const_type * string * const_value
  4. | `Operation of operation
  5. | `Stringifier of [ static_member | `None ]
  6. | `Iterable of type_with_ext * type_with_ext option
  7. | `Attribute of attribute
  8. | `Maplike of maplike
  9. | `Setlike of setlike
]
val __interface_member_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> interface_member
val interface_member_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> interface_member
val sexp_of_interface_member : interface_member -> Ppx_sexp_conv_lib.Sexp.t
type interface = string * string option * (extends * interface_member) list
val interface_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> interface
val sexp_of_interface : interface -> Ppx_sexp_conv_lib.Sexp.t
type mixin_member = [
  1. | `Attribute of attribute
  2. | `ReadOnly of readonly_member
  3. | `Const of const_type * string * const_value
  4. | `Operation of operation
  5. | `Stringifier of [ static_member | `None ]
]
val __mixin_member_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> mixin_member
val mixin_member_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> mixin_member
val sexp_of_mixin_member : mixin_member -> Ppx_sexp_conv_lib.Sexp.t
type mixin = string * (extends * mixin_member) list
val mixin_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> mixin
val sexp_of_mixin : mixin -> Ppx_sexp_conv_lib.Sexp.t
type partial = [
  1. | `PartialInterface of string * (extends * interface_member) list
  2. | `Mixin of mixin
  3. | `PartialDictionary of string * (extends * dictionary_member) list
  4. | `Namespace of namespace
]
val __partial_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> partial
val partial_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> partial
val sexp_of_partial : partial -> Ppx_sexp_conv_lib.Sexp.t
type callback = [
  1. | `CallbackRest of string * return_type * (extends * argument) list
  2. | `Interface of interface
]
val __callback_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> callback
val callback_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> callback
val sexp_of_callback : callback -> Ppx_sexp_conv_lib.Sexp.t
type definition = [
  1. | `Callback of callback
  2. | `Interface of interface
  3. | `Mixin of mixin
  4. | `Namespace of namespace
  5. | `Partial of partial
  6. | `Dictionary of dictionary
  7. | `Enum of string * string list
  8. | `Typedef of type_with_ext * string
  9. | `Includes of string * string
  10. | `Implements of string * string
]
val __definition_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> definition
val definition_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> definition
val sexp_of_definition : definition -> Ppx_sexp_conv_lib.Sexp.t
type definitions = (extends * definition) list
val definitions_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> definitions
val sexp_of_definitions : definitions -> Ppx_sexp_conv_lib.Sexp.t