Wasmer (p.wasmer.1.2.1.doc.wasmer.Wasmer)

Sourceexception Returned_null of string

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

Sourceexception 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.

Sourcetype 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_Dependent of (unit -> object_state) * object_state dependent_update_func
(*
The object's state depends on another. The first function is to get the current state, the second function updates it.
*)
| State_PassedAway
(*
The current pointer has been given away.
*)

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

Sourceval get_real_state : object_state -> object_state

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

Sourceval 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.

Sourcemodule type ObjectType = sig ... end

The metadata type for ownable objects

Sourcemodule type StructType = sig ... end

The metadata type for structure-declaring objects

Sourcemodule type VectorType = sig ... end

The metadata type for vector structures

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

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

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

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

Sourcemodule 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.

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

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

Sourcemodule Ref_T : StructType

Sourcemodule Ref : sig ... end

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

Sourcemodule Wasi_ : sig ... end

Sourcemodule Byte : sig ... end

Sourcemodule Name : sig ... end

Sourcemodule Message : sig ... end

Sourcemodule Config_T : StructType

Embedders may provide custom functions for manipulating configs.

Sourcemodule Config : sig ... end

Sourcemodule Engine_T : StructType

Sourcemodule Engine : sig ... end

Sourcemodule Store_T : StructType

Sourcemodule Store : sig ... end

Sourcemodule Mutability : sig ... end

Sourcemodule Limits : sig ... end

Sourcemodule Valkind : sig ... end

Sourcemodule Valtype_T : StructType

Sourcemodule Valtype : sig ... end

Sourcemodule Functype_T : StructType

Sourcemodule Functype : sig ... end

Sourcemodule Globaltype_T : StructType

Sourcemodule Globaltype : sig ... end

Sourcemodule Tabletype_T : StructType

Sourcemodule Tabletype : sig ... end

Sourcemodule Memorytype_T : StructType

Sourcemodule Memorytype : sig ... end

Sourcemodule Externkind : sig ... end

Sourcemodule Externtype_T : StructType

Sourcemodule Externtype : sig ... end

Sourcemodule Importtype_T : StructType

Sourcemodule Importtype : sig ... end

Sourcemodule Exporttype_T : StructType

Sourcemodule Exporttype : sig ... end

Sourcemodule Val : sig ... end

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

Sourcemodule Frame_T : StructType

Sourcemodule Frame : sig ... end

Sourcemodule Trap_T : StructType

Sourcemodule Trap : sig ... end

Sourcemodule Foreign_T : StructType

Sourcemodule Foreign : sig ... end

Sourcemodule Module_T : StructType

Sourcemodule Module : sig ... end

Sourcemodule Func_T : StructType

Sourcemodule Func : sig ... end

Sourcemodule Global_T : StructType

Sourcemodule Global : sig ... end

Sourcemodule Table_T : StructType

Sourcemodule Table : sig ... end

Sourcemodule Memory_T : StructType

Sourcemodule Memory : sig ... end

Sourcemodule Extern_T : StructType

Sourcemodule Extern : sig ... end

Sourcemodule Instance_T : StructType

Sourcemodule Instance : sig ... end

Sourceval frame_instance : Frame.s -> Instance.s

Sourcemodule Wasi : sig ... end

Sourcemodule Util : sig ... end