capnp 2.1.0 · OCaml Package

module MessageWrapper : sig ... end

module RC : sig ... end

val sizeof_uint32 : int

val sizeof_uint64 : int

val invalid_msg : string -> 'a

val out_of_int_range : string -> 'a

type ro = Message.ro

type rw = Message.rw

module Segment = MessageWrapper.Segment

module Message = MessageWrapper.Message

module Slice = MessageWrapper.Slice

module StructStorage = MessageWrapper.StructStorage

module ListStorage = MessageWrapper.ListStorage

module Object = MessageWrapper.Object

val bounds_check_slice_exn : ?err:string -> 'cap Slice.t -> unit

val ss_get_pointer : 'cap StructStorage.t -> int -> 'cap Slice.t option

val decode_pointer64 : int64 -> Pointer.t

val decode_pointer : 'cap Slice.t -> Pointer.t

val make_list_storage_aux : 
  message:'a MessageWrapper.Message.t ->
  num_words:int ->
  num_elements:int ->
  storage_type:ListStorageType.t ->
  segment_id:int ->
  segment_offset:int ->
  'a ListStorage.t

val make_list_storage : 
  message:'cap Message.t ->
  segment_id:int ->
  segment_offset:int ->
  list_pointer:ListPointer.t ->
  'cap ListStorage.t

val deref_far_pointer : FarPointer.t -> 'cap Message.t -> 'cap Object.t

val deref_pointer : 'cap Slice.t -> 'cap Object.t

module ListDecoders = RC.ListDecoders

module ListCodecs = RC.ListCodecs

val _dummy : bool Core_kernel.Std.ref

val make_array_readonly : 
  'cap ListStorage.t ->
  ('cap, 'a) ListDecoders.t ->
  (ro, 'a, 'cap ListStorage.t) InnerArray.t

val make_array_readwrite : 
  list_storage:rw ListStorage.t ->
  init:(int -> rw ListStorage.t) ->
  codecs:'a ListCodecs.t ->
  (rw, 'a, rw ListStorage.t) InnerArray.t

val string_of_uint8_list : null_terminated:bool -> 'cap ListStorage.t -> string

val struct_of_bytes_slice : 'a Slice.t -> 'a StructStorage.t

val struct_of_pointer_slice : 'a Slice.t -> 'a StructStorage.t

val make_struct_of_list_index : 'a ListStorage.t -> int -> 'a StructStorage.t

val deref_list_pointer : 'cap Slice.t -> 'cap ListStorage.t option

val deref_struct_pointer : 'cap Slice.t -> 'cap StructStorage.t option

val void_list_decoders : ('a, unit) ListDecoders.t

val bit_list_decoders : ('a, bool) ListDecoders.t

val int8_list_decoders : ('a, int) ListDecoders.t

val int16_list_decoders : ('a, int) ListDecoders.t

val int32_list_decoders : ('a, Int32.t) ListDecoders.t

val int64_list_decoders : ('a, Int64.t) ListDecoders.t

val uint8_list_decoders : ('a, int) ListDecoders.t

val uint16_list_decoders : ('a, int) ListDecoders.t

val uint32_list_decoders : ('a, Uint32.t) ListDecoders.t

val uint64_list_decoders : ('a, Uint64.t) ListDecoders.t

val float32_list_decoders : ('a, float) ListDecoders.t

val float64_list_decoders : ('a, float) ListDecoders.t

val text_list_decoders : ('a, string) ListDecoders.t

val blob_list_decoders : ('a, string) ListDecoders.t

val struct_list_decoders : ('a, 'a StructStorage.t option) ListDecoders.t

val get_root_struct : 'cap Message.t -> 'cap StructStorage.t option

val get_bit : 
  default:bool ->
  'cap StructStorage.t option ->
  byte_ofs:int ->
  bit_ofs:int ->
  bool

val get_int8 : default:int -> 'cap StructStorage.t option -> int -> int

val get_int16 : default:int -> 'cap StructStorage.t option -> int -> int

val get_int32 : default:int32 -> 'cap StructStorage.t option -> int -> int32

val get_int64 : default:int64 -> 'cap StructStorage.t option -> int -> int64

val get_uint8 : default:int -> 'cap StructStorage.t option -> int -> int

val get_uint16 : default:int -> 'cap StructStorage.t option -> int -> int

val get_uint32 : 
  default:Uint32.t ->
  'cap StructStorage.t option ->
  int ->
  Uint32.t

val get_uint64 : 
  default:Uint64.t ->
  'cap StructStorage.t option ->
  int ->
  Uint64.t

val get_float32 : 
  default_bits:int32 ->
  'cap StructStorage.t option ->
  int ->
  float

val get_float64 : 
  default_bits:int64 ->
  'cap StructStorage.t option ->
  int ->
  float

val has_field : 'cap StructStorage.t option -> int -> bool

val get_text : default:string -> 'cap StructStorage.t option -> int -> string

val get_blob : default:string -> 'cap StructStorage.t option -> int -> string

val get_list : 
  ?default:ro ListStorage.t ->
  (ro, 'a) ListDecoders.t ->
  ro StructStorage.t option ->
  int ->
  (ro, 'a, ro ListStorage.t) InnerArray.t

val get_void_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, unit, ro ListStorage.t) InnerArray.t

val get_bit_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, bool, ro ListStorage.t) InnerArray.t

val get_int8_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, int, ro ListStorage.t) InnerArray.t

val get_int16_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, int, ro ListStorage.t) InnerArray.t

val get_int32_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, int32, ro ListStorage.t) InnerArray.t

val get_int64_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, int64, ro ListStorage.t) InnerArray.t

val get_uint8_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, int, ro ListStorage.t) InnerArray.t

val get_uint16_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, int, ro ListStorage.t) InnerArray.t

val get_uint32_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, Uint32.t, ro ListStorage.t) InnerArray.t

val get_uint64_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, Uint64.t, ro ListStorage.t) InnerArray.t

val get_float32_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, float, ro ListStorage.t) InnerArray.t

val get_float64_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, float, ro ListStorage.t) InnerArray.t

val get_text_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, string, ro ListStorage.t) InnerArray.t

val get_blob_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, string, ro ListStorage.t) InnerArray.t

val get_struct_list : 
  ?default:ro ListStorage.t ->
  ro StructStorage.t option ->
  int ->
  (ro, ro StructStorage.t option, ro ListStorage.t) InnerArray.t

val get_struct : 
  ?default:ro StructStorage.t ->
  ro StructStorage.t option ->
  int ->
  ro StructStorage.t option

val get_pointer : 
  ?default:ro Slice.t ->
  ro StructStorage.t option ->
  int ->
  ro Slice.t option

val get_interface : 'cap StructStorage.t option -> int -> Uint32.t option

package capnp