Module `Make.RReader`Source

Sourcemodule RC : sig ... end

module Segment = RC.Segment

module Message = RC.Message

module Slice = RC.Slice

module StructStorage = RC.StructStorage

module ListStorage = RC.ListStorage

module Object = RC.Object

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

Sourceval ss_get_pointer : ('cap, 'a) StructStorage.t -> int -> 'cap Slice.t option

Sourceval decode_pointer64 : int64 -> Capnp__.Pointer.t

Sourceval decode_pointer : 'cap Slice.t -> Capnp__.Pointer.t

Source

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

Source

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

Source

val deref_far_pointer : 
  Capnp__.FarPointer.t ->
  'cap Message.t ->
  ('cap, 'a) Object.t

Sourceval deref_pointer : 'cap Slice.t -> ('cap, 'a) Object.t

Sourcemodule ListDecoders = RC.ListDecoders

Sourcemodule ListCodecs = RC.ListCodecs

Sourceval _dummy : bool ref

Source

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

Source

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

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

Sourceval struct_of_bytes_slice : 'a Slice.t -> ('a, 'b) StructStorage.t

Sourceval struct_of_pointer_slice : 'a Slice.t -> ('a, 'b) StructStorage.t

Source

val make_struct_of_list_index : 
  'a ListStorage.t ->
  int ->
  ('a, 'b) StructStorage.t

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

Sourceval deref_struct_pointer : 'cap Slice.t -> ('cap, 'a) StructStorage.t option

Source

val deref_opt_struct_pointer : 
  'a Slice.t option ->
  ('a, 'b) StructStorage.t option

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

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

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

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

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

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

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

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

Sourceval uint32_list_decoders : ('a, Stdint.Uint32.t) ListDecoders.t

Sourceval uint64_list_decoders : ('a, Stdint.Uint64.t) ListDecoders.t

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

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

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

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

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

Sourceval get_root_struct : 'cap Message.t -> ('cap, 'a) StructStorage.t option

Source

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

Sourceval get_int8 : default:int -> ('cap, 'a) StructStorage.t option -> int -> int

Sourceval get_int16 : default:int -> ('cap, 'a) StructStorage.t option -> int -> int

Source

val get_int32 : 
  default:int32 ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  int32

Source

val get_int64 : 
  default:int64 ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  int64

Sourceval get_uint8 : default:int -> ('cap, 'a) StructStorage.t option -> int -> int

Sourceval get_uint16 : default:int -> ('cap, 'a) StructStorage.t option -> int -> int

Source

val get_uint32 : 
  default:Stdint.Uint32.t ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  Stdint.Uint32.t

Source

val get_uint64 : 
  default:Stdint.Uint64.t ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  Stdint.Uint64.t

Source

val get_float32 : 
  default_bits:int32 ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  float

Source

val get_float64 : 
  default_bits:int64 ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  float

Sourceval has_field : ('cap, 'a) StructStorage.t option -> int -> bool

Source

val get_text : 
  default:string ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  string

Source

val get_blob : 
  default:string ->
  ('cap, 'a) StructStorage.t option ->
  int ->
  string

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val get_uint32_list : 
  ?default:??? ->
  (Message.ro, 'a) StructStorage.t option ->
  int ->
  (Message.ro, Stdint.Uint32.t, Message.ro ListStorage.t) Capnp__.InnerArray.t

Source

val get_uint64_list : 
  ?default:??? ->
  (Message.ro, 'a) StructStorage.t option ->
  int ->
  (Message.ro, Stdint.Uint64.t, Message.ro ListStorage.t) Capnp__.InnerArray.t

Source

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

Source

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

Source

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

Source

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

Source

val get_struct_list : 
  ?default:??? ->
  (Message.ro, 'a) StructStorage.t option ->
  int ->
  (Message.ro,
    (Message.ro, 'b) StructStorage.t option,
    Message.ro ListStorage.t)
    Capnp__.InnerArray.t

Source

val get_struct : 
  ?default:??? ->
  (Message.ro, 'b) StructStorage.t option ->
  int ->
  (Message.ro, 'a) StructStorage.t option

Source

val get_pointer : 
  ?default:??? ->
  (Message.ro, 'a) StructStorage.t option ->
  int ->
  Message.ro Slice.t option

Source

val get_interface : 
  ('cap, 'a) StructStorage.t option ->
  int ->
  'b RWM.Capability.t option

Sourceval pointers_struct : 'a Slice.t -> ('a, 'b) StructStorage.t

Source

val cast_struct : 
  ('a, 'b) StructStorage.t option ->
  ('a, 'c) StructStorage.t option

package capnp

Module Make.RReaderSource

Module `Make.RReader`Source