package sonet

  1. Overview
  2. Docs
type t =
  1. | V_byte of char
  2. | V_boolean of bool
  3. | V_int16 of int
  4. | V_uint16 of int
  5. | V_int32 of int32
  6. | V_uint32 of int64
  7. | V_int64 of int64
  8. | V_uint64 of int64
  9. | V_double of float
  10. | V_string of string
  11. | V_object_path of string
  12. | V_signature of Dbus_type.t list
  13. | V_array of t array
  14. | V_struct of t list
  15. | V_variant of Dbus_type.t * t
val to_string : t -> string
val string_type_of : t -> string
type object_path_error =
  1. | OP_with_invalid_char
  2. | OP_with_consecutive_slashes
  3. | OP_with_non_slash_prefix
  4. | OP_is_slash_terminated
type string_error =
  1. | String_with_embedded_nul
  2. | String_not_nul_terminated
type type_check_error =
  1. | Type_mismatch of Dbus_type.t * t
  2. | Type_arg_length_mismatch of Dbus_type.t list * t list
type error =
  1. | Untyped_array
  2. | String_error of string_error
  3. | Object_path_error of object_path_error
  4. | Type_check_error of type_check_error
exception Invalid_value_error of error
val object_path_error_message : object_path_error -> string
val string_error_message : string_error -> string
val type_check_error_message : type_check_error -> string
val error_message : error -> string
val check_valid_string : string -> unit
val is_valid_string : string -> bool
val check_valid_object_path : string -> unit
val is_valid_object_path : string -> bool
val type_check : Dbus_type.t -> t -> unit
val type_check_args : Dbus_type.t list -> t list -> unit
val pr_value : Format.formatter -> t -> unit