sig
module T :
sig
type basic =
Byte
| Boolean
| Int16
| Int32
| Int64
| Uint16
| Uint32
| Uint64
| Double
| String
| Signature
| Object_path
| Unix_fd
type single =
Basic of OBus_value.T.basic
| Structure of OBus_value.T.single list
| Array of OBus_value.T.single
| Dict of OBus_value.T.basic * OBus_value.T.single
| Variant
type sequence = OBus_value.T.single list
val byte : OBus_value.T.basic
val boolean : OBus_value.T.basic
val int16 : OBus_value.T.basic
val int32 : OBus_value.T.basic
val int64 : OBus_value.T.basic
val uint16 : OBus_value.T.basic
val uint32 : OBus_value.T.basic
val uint64 : OBus_value.T.basic
val double : OBus_value.T.basic
val string : OBus_value.T.basic
val signature : OBus_value.T.basic
val object_path : OBus_value.T.basic
val unix_fd : OBus_value.T.basic
val basic : OBus_value.T.basic -> OBus_value.T.single
val structure : OBus_value.T.single list -> OBus_value.T.single
val array : OBus_value.T.single -> OBus_value.T.single
val dict :
OBus_value.T.basic -> OBus_value.T.single -> OBus_value.T.single
val variant : OBus_value.T.single
val basic_byte : OBus_value.T.single
val basic_boolean : OBus_value.T.single
val basic_int16 : OBus_value.T.single
val basic_int32 : OBus_value.T.single
val basic_int64 : OBus_value.T.single
val basic_uint16 : OBus_value.T.single
val basic_uint32 : OBus_value.T.single
val basic_uint64 : OBus_value.T.single
val basic_double : OBus_value.T.single
val basic_string : OBus_value.T.single
val basic_signature : OBus_value.T.single
val basic_object_path : OBus_value.T.single
val basic_unix_fd : OBus_value.T.single
val print_basic : Format.formatter -> OBus_value.T.basic -> unit
val print_single : Format.formatter -> OBus_value.T.single -> unit
val print_sequence : Format.formatter -> OBus_value.T.sequence -> unit
val string_of_basic : OBus_value.T.basic -> string
val string_of_single : OBus_value.T.single -> string
val string_of_sequence : OBus_value.T.sequence -> string
end
type signature = OBus_value.T.sequence
exception Invalid_signature of string * string
val string_of_signature : OBus_value.signature -> string
val signature_of_string : string -> OBus_value.signature
val validate_signature : OBus_value.signature -> string option
module V :
sig
type basic =
Byte of char
| Boolean of bool
| Int16 of int
| Int32 of int32
| Int64 of int64
| Uint16 of int
| Uint32 of int32
| Uint64 of int64
| Double of float
| String of string
| Signature of OBus_value.signature
| Object_path of OBus_path.t
| Unix_fd of Unix.file_descr
type single = private
Basic of OBus_value.V.basic
| Array of OBus_value.T.single * OBus_value.V.single list
| Byte_array of string
| Dict of OBus_value.T.basic * OBus_value.T.single *
(OBus_value.V.basic * OBus_value.V.single) list
| Structure of OBus_value.V.single list
| Variant of OBus_value.V.single
type sequence = OBus_value.V.single list
val byte : char -> OBus_value.V.basic
val boolean : bool -> OBus_value.V.basic
val int16 : int -> OBus_value.V.basic
val int32 : int32 -> OBus_value.V.basic
val int64 : int64 -> OBus_value.V.basic
val uint16 : int -> OBus_value.V.basic
val uint32 : int32 -> OBus_value.V.basic
val uint64 : int64 -> OBus_value.V.basic
val double : float -> OBus_value.V.basic
val string : string -> OBus_value.V.basic
val signature : OBus_value.signature -> OBus_value.V.basic
val object_path : OBus_path.t -> OBus_value.V.basic
val unix_fd : Unix.file_descr -> OBus_value.V.basic
val basic : OBus_value.V.basic -> OBus_value.V.single
val array :
OBus_value.T.single ->
OBus_value.V.single list -> OBus_value.V.single
val byte_array : string -> OBus_value.V.single
val dict :
OBus_value.T.basic ->
OBus_value.T.single ->
(OBus_value.V.basic * OBus_value.V.single) list ->
OBus_value.V.single
val structure : OBus_value.V.single list -> OBus_value.V.single
val variant : OBus_value.V.single -> OBus_value.V.single
val unsafe_array :
OBus_value.T.single ->
OBus_value.V.single list -> OBus_value.V.single
val unsafe_dict :
OBus_value.T.basic ->
OBus_value.T.single ->
(OBus_value.V.basic * OBus_value.V.single) list ->
OBus_value.V.single
val basic_byte : char -> OBus_value.V.single
val basic_boolean : bool -> OBus_value.V.single
val basic_int16 : int -> OBus_value.V.single
val basic_int32 : int32 -> OBus_value.V.single
val basic_int64 : int64 -> OBus_value.V.single
val basic_uint16 : int -> OBus_value.V.single
val basic_uint32 : int32 -> OBus_value.V.single
val basic_uint64 : int64 -> OBus_value.V.single
val basic_double : float -> OBus_value.V.single
val basic_string : string -> OBus_value.V.single
val basic_signature : OBus_value.signature -> OBus_value.V.single
val basic_object_path : OBus_path.t -> OBus_value.V.single
val basic_unix_fd : Unix.file_descr -> OBus_value.V.single
val type_of_basic : OBus_value.V.basic -> OBus_value.T.basic
val type_of_single : OBus_value.V.single -> OBus_value.T.single
val type_of_sequence : OBus_value.V.sequence -> OBus_value.T.sequence
val print_basic : Format.formatter -> OBus_value.V.basic -> unit
val print_single : Format.formatter -> OBus_value.V.single -> unit
val print_sequence : Format.formatter -> OBus_value.V.sequence -> unit
val string_of_basic : OBus_value.V.basic -> string
val string_of_single : OBus_value.V.single -> string
val string_of_sequence : OBus_value.V.sequence -> string
val basic_dup : OBus_value.V.basic -> OBus_value.V.basic
val single_dup : OBus_value.V.single -> OBus_value.V.single
val sequence_dup : OBus_value.V.sequence -> OBus_value.V.sequence
val basic_close : OBus_value.V.basic -> unit Lwt.t
val single_close : OBus_value.V.single -> unit Lwt.t
val sequence_close : OBus_value.V.sequence -> unit Lwt.t
end
module C :
sig
type 'a basic
type 'a single
type 'a sequence
val byte : char OBus_value.C.basic
val boolean : bool OBus_value.C.basic
val int16 : int OBus_value.C.basic
val int32 : int32 OBus_value.C.basic
val int64 : int64 OBus_value.C.basic
val uint16 : int OBus_value.C.basic
val uint32 : int32 OBus_value.C.basic
val uint64 : int64 OBus_value.C.basic
val double : float OBus_value.C.basic
val string : string OBus_value.C.basic
val signature : OBus_value.signature OBus_value.C.basic
val object_path : OBus_path.t OBus_value.C.basic
val unix_fd : Unix.file_descr OBus_value.C.basic
val basic : 'a OBus_value.C.basic -> 'a OBus_value.C.single
val structure : 'a OBus_value.C.sequence -> 'a OBus_value.C.single
val byte_array : string OBus_value.C.single
val array : 'a OBus_value.C.single -> 'a list OBus_value.C.single
val dict :
'a OBus_value.C.basic ->
'b OBus_value.C.single -> ('a * 'b) list OBus_value.C.single
val variant : OBus_value.V.single OBus_value.C.single
val basic_byte : char OBus_value.C.single
val basic_boolean : bool OBus_value.C.single
val basic_int16 : int OBus_value.C.single
val basic_int32 : int32 OBus_value.C.single
val basic_int64 : int64 OBus_value.C.single
val basic_uint16 : int OBus_value.C.single
val basic_uint32 : int32 OBus_value.C.single
val basic_uint64 : int64 OBus_value.C.single
val basic_double : float OBus_value.C.single
val basic_string : string OBus_value.C.single
val basic_signature : OBus_value.signature OBus_value.C.single
val basic_object_path : OBus_path.t OBus_value.C.single
val basic_unix_fd : Unix.file_descr OBus_value.C.single
val type_basic : 'a OBus_value.C.basic -> OBus_value.T.basic
val type_single : 'a OBus_value.C.single -> OBus_value.T.single
val type_sequence : 'a OBus_value.C.sequence -> OBus_value.T.sequence
val make_basic : 'a OBus_value.C.basic -> 'a -> OBus_value.V.basic
val make_single : 'a OBus_value.C.single -> 'a -> OBus_value.V.single
val make_sequence :
'a OBus_value.C.sequence -> 'a -> OBus_value.V.sequence
exception Signature_mismatch
val cast_basic : 'a OBus_value.C.basic -> OBus_value.V.basic -> 'a
val cast_single : 'a OBus_value.C.single -> OBus_value.V.single -> 'a
val cast_sequence :
'a OBus_value.C.sequence -> OBus_value.V.sequence -> 'a
val dyn_basic :
OBus_value.T.basic -> OBus_value.V.basic OBus_value.C.basic
val dyn_single :
OBus_value.T.single -> OBus_value.V.single OBus_value.C.single
val dyn_sequence :
OBus_value.T.sequence -> OBus_value.V.sequence OBus_value.C.sequence
val seq0 : unit OBus_value.C.sequence
val seq1 : 'a OBus_value.C.single -> 'a OBus_value.C.sequence
val seq2 :
'a OBus_value.C.single ->
'b OBus_value.C.single -> ('a * 'b) OBus_value.C.sequence
val seq3 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single -> ('a * 'b * 'c) OBus_value.C.sequence
val seq4 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single -> ('a * 'b * 'c * 'd) OBus_value.C.sequence
val seq5 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e) OBus_value.C.sequence
val seq6 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f) OBus_value.C.sequence
val seq7 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g) OBus_value.C.sequence
val seq8 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) OBus_value.C.sequence
val seq9 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i) OBus_value.C.sequence
val seq10 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j)
OBus_value.C.sequence
val seq11 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
'k OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k)
OBus_value.C.sequence
val seq12 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
'k OBus_value.C.single ->
'l OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l)
OBus_value.C.sequence
val seq13 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
'k OBus_value.C.single ->
'l OBus_value.C.single ->
'm OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm)
OBus_value.C.sequence
val seq14 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
'k OBus_value.C.single ->
'l OBus_value.C.single ->
'm OBus_value.C.single ->
'n OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm * 'n)
OBus_value.C.sequence
val seq15 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
'k OBus_value.C.single ->
'l OBus_value.C.single ->
'm OBus_value.C.single ->
'n OBus_value.C.single ->
'o OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm *
'n * 'o)
OBus_value.C.sequence
val seq16 :
'a OBus_value.C.single ->
'b OBus_value.C.single ->
'c OBus_value.C.single ->
'd OBus_value.C.single ->
'e OBus_value.C.single ->
'f OBus_value.C.single ->
'g OBus_value.C.single ->
'h OBus_value.C.single ->
'i OBus_value.C.single ->
'j OBus_value.C.single ->
'k OBus_value.C.single ->
'l OBus_value.C.single ->
'm OBus_value.C.single ->
'n OBus_value.C.single ->
'o OBus_value.C.single ->
'p OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm *
'n * 'o * 'p)
OBus_value.C.sequence
end
type 'a arguments = private {
arg_types : 'a OBus_value.C.sequence;
arg_names : string option list;
}
val arguments :
arg_types:'a OBus_value.C.sequence ->
arg_names:string option list -> 'a OBus_value.arguments
val arg_types : 'a OBus_value.arguments -> 'a OBus_value.C.sequence
val arg_names : 'a OBus_value.arguments -> string option list
val arg_cons :
string option * 'a OBus_value.C.single ->
'b OBus_value.arguments -> ('a * 'b) OBus_value.arguments
val arg0 : unit OBus_value.arguments
val arg1 :
string option * 'a OBus_value.C.single -> 'a OBus_value.arguments
val arg2 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single -> ('a * 'b) OBus_value.arguments
val arg3 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
('a * 'b * 'c) OBus_value.arguments
val arg4 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
('a * 'b * 'c * 'd) OBus_value.arguments
val arg5 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e) OBus_value.arguments
val arg6 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f) OBus_value.arguments
val arg7 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g) OBus_value.arguments
val arg8 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) OBus_value.arguments
val arg9 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i) OBus_value.arguments
val arg10 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j) OBus_value.arguments
val arg11 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
string option * 'k OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k)
OBus_value.arguments
val arg12 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
string option * 'k OBus_value.C.single ->
string option * 'l OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l)
OBus_value.arguments
val arg13 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
string option * 'k OBus_value.C.single ->
string option * 'l OBus_value.C.single ->
string option * 'm OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm)
OBus_value.arguments
val arg14 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
string option * 'k OBus_value.C.single ->
string option * 'l OBus_value.C.single ->
string option * 'm OBus_value.C.single ->
string option * 'n OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm * 'n)
OBus_value.arguments
val arg15 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
string option * 'k OBus_value.C.single ->
string option * 'l OBus_value.C.single ->
string option * 'm OBus_value.C.single ->
string option * 'n OBus_value.C.single ->
string option * 'o OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm * 'n * 'o)
OBus_value.arguments
val arg16 :
string option * 'a OBus_value.C.single ->
string option * 'b OBus_value.C.single ->
string option * 'c OBus_value.C.single ->
string option * 'd OBus_value.C.single ->
string option * 'e OBus_value.C.single ->
string option * 'f OBus_value.C.single ->
string option * 'g OBus_value.C.single ->
string option * 'h OBus_value.C.single ->
string option * 'i OBus_value.C.single ->
string option * 'j OBus_value.C.single ->
string option * 'k OBus_value.C.single ->
string option * 'l OBus_value.C.single ->
string option * 'm OBus_value.C.single ->
string option * 'n OBus_value.C.single ->
string option * 'o OBus_value.C.single ->
string option * 'p OBus_value.C.single ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm * 'n *
'o * 'p)
OBus_value.arguments
end