wasmer 1.2.1 (latest) · OCaml Package

This module contains all bindings. Currently, only bindings to functions in wasm.h have been implemented.

exception Returned_null of string

A C function returned NULL where a non-null value was required

exception Invalid_access of string

A pointer was accessed but its ownership realtive to the caller was not high enough. For example, trying to get a pointer using get_ptr while the pointer was given away will raise this exception.

type object_state =

| State_Owned
(*
The object is owned by the caller.
*)
| State_RW
(*
The object is accessible by the caller.
*)
| State_Const
(*
The object is accessible by the caller in read-only.
*)
| State_PassedAway
(*
The current pointer has been given away.
*)

The state of the ownership of the pointed-to object.

val get_real_state : object_state -> object_state

Gets the real state of the object_state. Never returns WasmerBindings.object_state.State_Dependent.

val max_state_const : object_state -> object_state

Gets the real state of the object_state, and reduces the ownership to read-only if required. This is the same as get_real_state st if the result is not WasmerBindings.object_state.State_Owned or WasmerBindings.object_state.State_RW, and is WasmerBindings.object_state.State_Const otherwise.

module type ObjectType = sig ... end

The metadata type for ownable objects

module type StructType = sig ... end

The metadata type for structure-declaring objects

module type VectorType = sig ... end

The metadata type for vector structures

module OwnableObject (O : ObjectType) : sig ... end

Ownable objects are the basic structure that maintains an ownership state on C objects.

module DeclareOwn (T : StructType) : sig ... end

The base WASM objects, declared in wasm.h as WASM_DECLARE_OWN.

module DeclareVec (U : VectorType) : sig ... end

The vector type, declared in the C API with the WASM_DECLARE_VEC macro. Vectors always get ownership of their data.

module DeclareType (T : StructType) : sig ... end

module DeclareRefBase (T : StructType) : sig ... end

module Ref_T : StructType

module Ref : sig ... end

module DeclareRef (T : StructType) : sig ... end

module Wasi_ : sig ... end

module Byte : sig ... end

module Name : sig ... end

module Message : sig ... end

module Config_T : StructType

Embedders may provide custom functions for manipulating configs.

module Config : sig ... end

module Engine_T : StructType

module Engine : sig ... end

module Store_T : StructType

module Store : sig ... end

module Mutability : sig ... end

module Limits : sig ... end

module Valkind : sig ... end

module Valtype_T : StructType

module Valtype : sig ... end

module Functype_T : StructType

module Functype : sig ... end

module Globaltype_T : StructType

module Globaltype : sig ... end

module Tabletype_T : StructType

module Tabletype : sig ... end

module Memorytype_T : StructType

module Memorytype : sig ... end

module Externkind : sig ... end

module Externtype_T : StructType

module Externtype : sig ... end

module Importtype_T : StructType

module Importtype : sig ... end

module Exporttype_T : StructType

module Exporttype : sig ... end

module Val : sig ... end

module DeclareShareableRef (T : StructType) : sig ... end

module Frame_T : StructType

module Frame : sig ... end

module Trap_T : StructType

module Trap : sig ... end

module Foreign_T : StructType

module Foreign : sig ... end

module Module_T : StructType

module Module : sig ... end

module Func_T : StructType

module Func : sig ... end

module Global_T : StructType

module Global : sig ... end

module Table_T : StructType

module Table : sig ... end

module Memory_T : StructType

module Memory : sig ... end

module Extern_T : StructType

module Extern : sig ... end

module Instance_T : StructType

module Instance : sig ... end

val frame_instance : Frame.s -> Instance.s

module Wasi : sig ... end

module Util : sig ... end

package wasmer