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, 'access) t = {
   interface : OBus_name.interface;
   member : OBus_name.member;
   typ : 'a OBus_value.C.single;
   access : 'access 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:'access access ->
annotations:OBus_introspect.annotation list ->
('a, 'access) t

Projections

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

Introspection

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