Module `OBus_introspect_ext`

val obus_enum : string

val obus_flag : string

val obus_type : string

val obus_itype : string

val obus_otype : string

type basic = private

| Byte
| Boolean
| Int16
| Int32
| Int64
| Uint16
| Uint32
| Uint64
| Double
| String
| Signature
| Object_path
| Unix_fd
| Enum of OBus_value.T.basic * (OBus_value.V.basic * string) list
| Flag of OBus_value.T.basic * (OBus_value.V.basic * string) list

type single =

| Basic of basic
| Structure of single list
| Array of single
| Dict of basic * single
| 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

| Term of string * term list
| Tuple of term list

val term : string -> term list -> term

val tuple : term list -> term

type symbol = private

| Sym_enum of OBus_value.T.basic * (OBus_value.V.basic * string) list
| 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 =

| Read
| Write
| Read_write

type member =

| Method of name * argument list * argument list * annotation list
| Signal of name * argument list * annotation list
| Property of name * term * access * annotation list

type interface = name * member list * (string * symbol) list * annotation list

val encode : interface -> OBus_introspect.interface

val decode : OBus_introspect.interface -> interface

Install

Dune Dependency

Authors

Maintainers

Sources

doc/obus/OBus_introspect_ext/index.html

Module `OBus_introspect_ext`

package obus

Install

Dune Dependency

Authors

Maintainers

Sources

doc/obus/OBus_introspect_ext/index.html

Module OBus_introspect_ext

Module `OBus_introspect_ext`