module Netshm_data:sig
..end
type 'a
data_manager = {
|
to_int32_array : |
(* | Represent the value as an int32_array | *) |
|
of_int32_array : |
(* | Read the value back from its int32_array representation.
The array is given as list of array fragments in reverse
order. The fragments must not be empty. | *) |
|
of_int32_array_prefix : |
(* | Read the value back from its int32_array representation.
Unlike of_int32_array , it is allowed to pass a prefix
of the whole array to this function. As of_int32_array ,
this prefix is given as list of array fragments in reverse
order. The function may return None if it is not yet
possible to reconstruct the value. Otherwise the value is
returned as Some v . | *) |
|
hash_fn : |
(* | Hash function | *) |
of_int32_array_prefix
is optional.val int32_manager : int32 data_manager
int32
as one-element int32_array
val int64_manager : int64 data_manager
int64
as two-element int32_array
val nativeint_manager : nativeint data_manager
int32_manager
or int64_manager
to represent nativeint
,
depending on the size of nativeint
.val int_manager : int data_manager
int32_manager
or int64_manager
to represent int
,
depending on the size of int
.val int32_array_manager : Netshm.int32_array data_manager
val string_manager : string data_manager
val pair_manager : 'a data_manager ->
'b data_manager -> ('a * 'b) data_manager
val left_pair_manager : 'a data_manager -> 'a data_manager
pair_manager
, but the resulting
data manager only reads the left value of the pair.
This data manager does not support to_int32_array
.
val option_manager : 'a data_manager -> 'a option data_manager