Module `OBus_property`

type ('a, 'access) t

type 'a r = ('a, [ `readable ]) t

type 'a w = ('a, [ `writable ]) t

type 'a rw = ('a, [ `readable | `writable ]) t

type map = (OBus_context.t * OBus_value.V.single) Map.Make(String).t

type group

type monitor =
  OBus_proxy.t ->
  OBus_name.interface ->
  Lwt_switch.t ->
  map React.signal Lwt.t

val make : 
  ?monitor:monitor ->
  ('a, 'access) OBus_member.Property.t ->
  OBus_proxy.t ->
  ('a, 'access) t

val group : ?monitor:monitor -> OBus_proxy.t -> OBus_name.interface -> group

val map_rw : ('a -> 'b) -> ('b -> 'a) -> 'a rw -> 'b rw

val map_rw_with_context : 
  (OBus_context.t -> 'a -> 'b) ->
  ('b -> 'a) ->
  'a rw ->
  'b rw

val map_r : ('a -> 'b) -> ('a, [> `readable ]) t -> 'b r

val map_r_with_context : 
  (OBus_context.t -> 'a -> 'b) ->
  ('a, [> `readable ]) t ->
  'b r

val map_w : ('b -> 'a) -> ('a, [> `writable ]) t -> 'b w

val get : ('a, [> `readable ]) t -> 'a Lwt.t

val get_with_context : ('a, [> `readable ]) t -> (OBus_context.t * 'a) Lwt.t

val set : ('a, [> `writable ]) t -> 'a -> unit Lwt.t

val get_group : group -> map Lwt.t

val find_value : OBus_name.member -> map -> OBus_value.V.single

val find_value_with_context : 
  OBus_name.member ->
  map ->
  OBus_context.t * OBus_value.V.single

val find : ('a, [> `readable ]) t -> map -> 'a

val find_with_context : ('a, [> `readable ]) t -> map -> OBus_context.t * 'a

val print_map : Format.formatter -> map -> unit

val string_of_map : map -> string

val monitor : 
  ?switch:Lwt_switch.t ->
  ('a, [> `readable ]) t ->
  'a React.signal Lwt.t

val monitor_group : ?switch:Lwt_switch.t -> group -> map React.signal Lwt.t

val get_all_no_cache : 
  OBus_proxy.t ->
  OBus_name.interface ->
  (OBus_context.t * (OBus_name.member * OBus_value.V.single) list) Lwt.t

val update_map : 
  OBus_context.t ->
  (OBus_name.member * OBus_value.V.single) list ->
  map ->
  map

val map_of_list : 
  OBus_context.t ->
  (OBus_name.member * OBus_value.V.single) list ->
  map

Install