sig
exception Sharedvar_type_mismatch of string
exception Sharedvar_no_permission of string
exception Sharedvar_not_found of string
exception Sharedvar_null
val plugin : Netplex_types.plugin
val create_var :
?own:bool ->
?ro:bool -> ?enc:bool -> ?timeout:float -> ?ssn:string -> string -> bool
val delete_var : string -> bool
val set_value : string -> string -> bool
val set_enc_value : string -> Netplex_types.encap -> bool
val get_value : string -> string option
val get_enc_value : string -> Netplex_types.encap option
val wait_for_value : string -> string option
val wait_for_enc_value : string -> Netplex_types.encap option
val get_lazily : string -> (unit -> string) -> string option
val get_enc_lazily :
string -> (unit -> Netplex_types.encap) -> Netplex_types.encap option
val dump : string -> Netlog.level -> unit
type 'a versioned_value
val vv_access : string -> string Netplex_sharedvar.versioned_value
val vv_access_enc :
string -> Netplex_types.encap Netplex_sharedvar.versioned_value
val vv_get : 'a Netplex_sharedvar.versioned_value -> 'a option
val vv_version : 'a Netplex_sharedvar.versioned_value -> int64
val vv_update : 'a Netplex_sharedvar.versioned_value -> bool
val vv_set : 'a Netplex_sharedvar.versioned_value -> 'a -> bool
module Make_var_type :
functor (T : Netplex_cenv.TYPE) ->
sig
type t = T.t
val get : string -> t
val set : string -> t -> unit
end
module type VV_TYPE =
sig
type t
type var
val access : string -> Netplex_sharedvar.VV_TYPE.var
val get : Netplex_sharedvar.VV_TYPE.var -> Netplex_sharedvar.VV_TYPE.t
val set :
Netplex_sharedvar.VV_TYPE.var -> Netplex_sharedvar.VV_TYPE.t -> unit
val version : Netplex_sharedvar.VV_TYPE.var -> int64
val update : Netplex_sharedvar.VV_TYPE.var -> bool
end
module Make_vv :
functor (T : Netplex_cenv.TYPE) ->
sig
type t = T.t
type var
val access : string -> var
val get : var -> t
val set : var -> t -> unit
val version : var -> int64
val update : var -> bool
end
val global_propagator : unit -> Netsys_global.propagator
val propagate_back : Netplex_types.controller -> unit
end
