Module OBus_member.PropertySource

D-Bus properties

D-Bus property description

Sourcetype 'a access = private
  1. | Readable
  2. | Writable
  3. | Readable_writable

Type of access modes

Sourceval readable : [ `readable ] access

Access mode for readable properties

Sourceval writable : [ `writable ] access

Access mode for writable properties

Sourceval readable_writable : [ `readable | `writable ] access

Access mode for readable and writable properties

Sourcetype ('a, 'access) t = {
  1. interface : OBus_name.interface;
  2. member : OBus_name.member;
  3. typ : 'a OBus_value.C.single;
  4. access : 'access access;
  5. annotations : OBus_introspect.annotation list;
}

Type of a property description

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