package octez-l2-libs

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Octez layer2 libraries

Install

dune-project

Dependency

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

Authors

Maintainers

C

contact@tezos.com

Sources

octez-19.1.tar.gz

sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e

sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

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