package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez layer2 libraries

Install

dune-project

Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Partial_memory/index.html

Module `Tezos_webassembly_interpreter.Partial_memory`

include Memory_sig.S

type memory

type t = memory

type size = int32

type address = int32

type offset = int32

type count = int32

exception Type

exception Bounds

exception SizeOverflow

exception SizeLimit

exception OutOfMemory

val page_size : int64

val alloc : Types.memory_type -> memory

val type_of : memory -> Types.memory_type

val size : memory -> size

val bound : memory -> int64

val grow : memory -> size -> unit

val load_byte : memory -> int64 -> int Lwt.t

val store_byte : memory -> int64 -> int -> unit Lwt.t

val load_bytes : memory -> address -> int -> string Lwt.t

val store_bytes : memory -> address -> string -> unit Lwt.t

val load_num : 
  memory ->
  address ->
  offset ->
  Types.num_type ->
  Values.num Lwt.t

val store_num : memory -> address -> offset -> Values.num -> unit Lwt.t

val load_num_packed : 
  Types.pack_size ->
  Types.extension ->
  memory ->
  address ->
  offset ->
  Types.num_type ->
  Values.num Lwt.t

val store_num_packed : 
  Types.pack_size ->
  memory ->
  address ->
  offset ->
  Values.num ->
  unit Lwt.t

val load_vec : 
  memory ->
  address ->
  offset ->
  Types.vec_type ->
  Values.vec Lwt.t

val store_vec : memory -> address -> offset -> Values.vec -> unit Lwt.t

val load_vec_packed : 
  Types.pack_size ->
  Types.vec_extension ->
  memory ->
  address ->
  offset ->
  Types.vec_type ->
  Values.vec Lwt.t

val store_bytes_from_bytes : t -> address -> bytes -> unit Lwt.t

store_bytes_from_bytes memory offset bytes copies the contents of bytes into memory at the provided offset. Further modifications to bytes are not reflected in memory.

val of_chunks : 
  Types.memory_type ->
  Tezos_lazy_containers.Chunked_byte_vector.t ->
  t

of_chunks mem_ty chunks creates a memory instance using chunks. Modifications are reflected bidirectionally, i.e. modifying the memory changes the chunks and vice versa.

val content : memory -> Tezos_lazy_containers.Chunked_byte_vector.t