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-18.1.tar.gz

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

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

Module `Tezos_webassembly_interpreter.Memory`

include module type of 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