package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez layer2 libraries

Install

Dune Dependency

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

Authors

Maintainers

C

contact@tezos.com

Sources

octez-19.0.tar.gz

sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4

sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

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