package obus

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val obus_enum : string
val obus_flag : string
val obus_type : string
val obus_itype : string
val obus_otype : string
type basic = private
  1. | Byte
  2. | Boolean
  3. | Int16
  4. | Int32
  5. | Int64
  6. | Uint16
  7. | Uint32
  8. | Uint64
  9. | Double
  10. | String
  11. | Signature
  12. | Object_path
  13. | Unix_fd
  14. | Enum of OBus_value.T.basic * (OBus_value.V.basic * string) list
  15. | Flag of OBus_value.T.basic * (OBus_value.V.basic * string) list
type single =
  1. | Basic of basic
  2. | Structure of single list
  3. | Array of single
  4. | Dict of basic * single
  5. | Variant
type sequence = single list
val byte : basic
val boolean : basic
val int16 : basic
val int32 : basic
val int64 : basic
val uint16 : basic
val uint32 : basic
val uint64 : basic
val double : basic
val string : basic
val signature : basic
val object_path : basic
val unix_fd : basic
val enum : OBus_value.T.basic -> (OBus_value.V.basic * string) list -> basic
val flag : OBus_value.T.basic -> (OBus_value.V.basic * string) list -> basic
val basic : basic -> single
val structure : single list -> single
val array : single -> single
val dict : basic -> single -> single
val variant : single
type term = private
  1. | Term of string * term list
  2. | Tuple of term list
val term : string -> term list -> term
val tuple : term list -> term
type symbol = private
  1. | Sym_enum of OBus_value.T.basic * (OBus_value.V.basic * string) list
  2. | Sym_flag of OBus_value.T.basic * (OBus_value.V.basic * string) list
val sym_enum : OBus_value.T.basic -> (OBus_value.V.basic * string) list -> symbol
val sym_flag : OBus_value.T.basic -> (OBus_value.V.basic * string) list -> symbol
val strip_basic : basic -> OBus_value.T.basic
val strip_single : single -> OBus_value.T.single
val strip_sequence : sequence -> OBus_value.T.sequence
val project_basic : OBus_value.T.basic -> basic
val project_single : OBus_value.T.single -> single
val project_sequence : OBus_value.T.sequence -> sequence
val term_of_basic : OBus_value.T.basic -> term
val term_of_single : OBus_value.T.single -> term
val term_of_sequence : OBus_value.T.sequence -> term
type env = (string * symbol) list
exception Resolve_error of string
val resolve : env -> term -> single
type name = string
type annotation = name * string
type argument = name option * term
type access = OBus_introspect.access =
  1. | Read
  2. | Write
  3. | Read_write
type member =
  1. | Method of name * argument list * argument list * annotation list
  2. | Signal of name * argument list * annotation list
  3. | Property of name * term * access * annotation list
type interface = name * member list * (string * symbol) list * annotation list