sig
type +'a proxy_reference
val pr_of_address :
Hydro_types.proxy_addr -> [ `Ice_Object ] Hydro_lm.proxy_reference
val pr_of_string : string -> [ `Ice_Object ] Hydro_lm.proxy_reference
type client_response = Hydro_endpoint.Client.response
class type ['a] call_suspension_t =
object
method acall : ('a -> unit) -> unit
method params : Hydro_types.call_params
method scall : 'a
method with_params :
Hydro_types.call_params -> 'a Hydro_lm.call_suspension_t
end
class ['a] call_suspension :
(Hydro_types.call_params ->
(Hydro_endpoint.Client.response -> unit) -> unit) ->
(Hydro_endpoint.Client.response -> 'a) ->
Unixqueue.event_system -> ['a] call_suspension_t
val call_suspension :
(Hydro_types.call_params ->
(Hydro_endpoint.Client.response -> unit) -> unit) ->
(Hydro_endpoint.Client.response -> 'a) ->
Unixqueue.event_system -> 'a Hydro_lm.call_suspension_t
class type sliced_base =
object
method hydro_effective_id : string
method hydro_slices : Hydro_types.slice list
end
class type object_base =
object
method hydro_effective_id : string
method hydro_inflate : string -> Hydro_types.noreturn
method hydro_invoke_operation :
string -> Hydro_types.value array -> Hydro_types.session -> unit
method hydro_slices : Hydro_types.slice list
end
class type interface_base =
object
method hydro_effective_id : string
method hydro_invoke_operation :
string -> Hydro_types.value array -> Hydro_types.session -> unit
end
val value_of_object : #Hydro_lm.object_base -> Hydro_types.value
val object_of_class_repr :
Hydro_types.class_repr Pervasives.ref -> Hydro_lm.object_base
exception Error of int
val error : int -> 'a
exception Invalid_coercion
val create_system : unit -> Hydro_types.system
val seq_to_option : 'a array -> 'a option
val option_to_seq : 'a option -> 'a array
val dict_to_hashtbl : ('a * 'b) list -> ('a, 'b) Hashtbl.t
val hashtbl_to_dict : ('a, 'b) Hashtbl.t -> ('a * 'b) list
module StrMap :
sig
type key = string
type +'a t
val empty : 'a t
val is_empty : 'a t -> bool
val add : key -> 'a -> 'a t -> 'a t
val find : key -> 'a t -> 'a
val remove : key -> 'a t -> 'a t
val mem : key -> 'a t -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val map : ('a -> 'b) -> 'a t -> 'b t
val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
end
type ('a, 'b) strmap = 'b Hydro_lm.StrMap.t constraint 'a = string
val dict_to_strmap : (string * 'a) list -> (string, 'a) Hydro_lm.strmap
val strmap_to_dict : (string, 'a) Hydro_lm.strmap -> (string * 'a) list
type ('a, 'b) complex = Complex.t constraint 'a = float
constraint 'b = float
val pair_to_complex : float * float -> Complex.t
val complex_to_pair : Complex.t -> float * float
val pair_to_identity : string * string -> Hydro_types.identity
val identity_to_pair : Hydro_types.identity -> string * string
module Unsafe :
sig
val wrap_proxy : Hydro_types.proxy_addr -> 'a Hydro_lm.proxy_reference
val unwrap_proxy :
'a Hydro_lm.proxy_reference -> Hydro_types.proxy_addr
val of_proxy_reference :
'a Hydro_lm.proxy_reference option -> Hydro_types.value
val to_proxy_reference :
Hydro_types.value -> 'a Hydro_lm.proxy_reference option
end
end
