Module OBus_member.Property


module Property: sig .. end
D-Bus properties


D-Bus property description

type 'a access = private
| Readable
| Writable
| Readable_writable
Type of access modes
val readable : [ `readable ] access
Access mode for readable properties
val writable : [ `writable ] access
Access mode for writable properties
val readable_writable : [ `readable | `writable ] access
Access mode for readable and writable properties

type ('a, 'b) t = {
   interface : OBus_name.interface;
   member : OBus_name.member;
   typ : 'a OBus_value.C.single;
   access : 'b access;
   annotations : OBus_introspect.annotation list;
}
Type of a property description

Creation

val make : interface:OBus_name.interface ->
member:OBus_name.member ->
typ:'a OBus_value.C.single ->
access:'b access ->
annotations:OBus_introspect.annotation list ->
('a, 'b) t

Projections

val interface : ('a, 'b) t -> OBus_name.interface
val member : ('a, 'b) t -> OBus_name.member
val typ : ('a, 'b) t -> 'a OBus_value.C.single
val access : ('a, 'b) t -> 'b access
val annotations : ('a, 'b) t -> OBus_introspect.annotation list

Introspection

val introspect : ('a, 'b) t -> OBus_introspect.member