module Hydro_lm: sig .. end
Base definitions for the language mapping
Specific types and functions for the O'Caml language mapping.
These definitions are used by generated code.
type +'a proxy_reference
The language-mapped type of the Slice type "T*" where 't is the
language-mapped name of the proxy
val pr_of_address : Hydro_types.proxy_addr -> [ `Ice_Object ] proxy_reference
Create a reference from a (low-level) proxy address
val pr_of_string : string -> [ `Ice_Object ] proxy_reference
Create a reference from a stringified proxy address
type Hydro_endpoint.Client.response
The client response type
class type ['a] call_suspension_t = object .. end
This is an object describing a prepared RPC call that is not yet done.
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 call_suspension_t
class type sliced_base = object .. end
class type object_base = object .. end
This is the full class type of objects.
class type interface_base = object .. end
This is the class type of object interfaces.
val value_of_object : #object_base -> Hydro_types.value
Create a value from any object
val object_of_class_repr : Hydro_types.class_repr Pervasives.ref -> object_base
Get the `Value
exception Error of int
An error produced by the generated lang mapping code. The int
is a generated number to identify the position in the generated code
val error : int -> 'a
Raise Error
exception Invalid_coercion
A coercion cannot be done
val create_system : unit -> Hydro_types.system
Create an empty type system
Special mappings
val seq_to_option : 'a array -> 'a option
val option_to_seq : 'a option -> 'a array
Used with ["hydro:mapping:option"]
val dict_to_hashtbl : ('a * 'b) list -> ('a, 'b) Hashtbl.t
val hashtbl_to_dict : ('a, 'b) Hashtbl.t -> ('a * 'b) list
Used with ["hydro:mapping:hashtbl"]
module StrMap: Map.S with type key = string
type (string, 'a) strmap = 'a StrMap.t
val dict_to_strmap : (string * 'a) list -> (string, 'a) strmap
val strmap_to_dict : (string, 'a) strmap -> (string * 'a) list
Used with ["hydro:mapping:strmap"]
type (float, float) complex = Complex.t
val pair_to_complex : float * float -> Complex.t
val complex_to_pair : Complex.t -> float * float
Used with ["hydro:mapping:complex"]
val pair_to_identity : string * string -> Hydro_types.identity
val identity_to_pair : Hydro_types.identity -> string * string
Used with ["hydro:mapping:identity"]
Internals
module Unsafe: sig .. end
