package wasmer

You can search for identifiers within the package.

in-package search v0.2.0

package wasmer

wasmer
- Wasmer
  - Byte
    
    V
    
    Vec
  - Config
  - Config_T
  - DeclareOwn
    
    T
  - DeclareRef
    
    T
  - DeclareRefBase
    
    T
  - DeclareShareableRef
    
    S
    
    Shared
    
    T
  - DeclareType
    
    T
    
    V
    
    Vec
  - DeclareVec
    
    U
  - Engine
  - Engine_T
  - Exporttype
  - Exporttype_T
  - Extern
    
    V
    
    Vec
  - Extern_T
  - Externkind
  - Externtype
  - Externtype_T
  - Foreign
  - Foreign_T
  - Frame
    
    V
    
    Vec
  - Frame_T
  - Func
  - Func_T
  - Functype
  - Functype_T
  - Global
  - Global_T
  - Globaltype
  - Globaltype_T
  - Importtype
  - Importtype_T
  - Instance
  - Instance_T
  - Limits
  - Memory
  - Memory_T
  - Memorytype
  - Memorytype_T
  - Message
  - Module
  - Module_T
  - Mutability
  - Name
  - ObjectType
  - OwnableObject
    
    O
  - Ref
    
    O
  - Ref_T
  - Store
  - Store_T
  - StructType
  - Table
  - Table_T
  - Tabletype
  - Tabletype_T
  - Trap
  - Trap_T
  - Util
  - Val
    
    Anon0
    
    O
    
    V
    
    Vec
  - Valkind
  - Valtype
  - Valtype_T
  - VectorType
  - Wasi
    
    Config
    
    O
    
    Config_T
    
    Env
    
    Env_T
    
    NamedExtern
    
    O
    
    V
    
    Vec
    
    O
    
    NamedExtern_T
  - Wasi_
    
    Env_
    
    Env_O_

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include DeclareType(Func_T) end

include module type of struct include DeclareOwn(Func_T) end

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

val name : string

The C name of the structure without the _t suffix.

type t = DeclareOwn(Func_T).t

The C unique (abstract) base type for the structure. the structure type is therefore t structure.

val t : t Ctypes.structure Ctypes.typ

The Ctypes definition of the C structure.

This structure maintains an ownership status. See also WasmerBindings.OwnableObject.

include module type of struct include OwnableObject(DeclareType(Func_T).{O}4) end

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

type s = OwnableObject(DeclareOwn(Func_T).{O}4).s

The owning structure type.

val make_new : unit -> s

Make a new owning structure from a new pointer.

val make_from_raise : DeclareOwn(Func_T).{O}4.t Ctypes.ptr -> object_state -> s

Make a new owning structure from a pointer. See also WasmerBindings.OwnableObject.make_from_unsafe.

raises Returned_null
If the pointer is NULL

val make_from_unsafe : 
  DeclareOwn(Func_T).{O}4.t Ctypes.ptr ->
  object_state ->
  s

Make a new owning structure from a pointer. Does not raise an exception if NULL is given. See also WasmerBindings.OwnableObject.make_from_raise.

val make_from_raise_data : 
  DeclareOwn(Func_T).{O}4.t Ctypes.ptr ->
  object_state ->
  DeclareOwn(Func_T).{O}4.d ->
  s

Make a new owning structure from a pointer, with an additional data. See also WasmerBindings.OwnableObject.make_from_unsafe_data.

raises Returned_null
If the pointer is NULL

val make_from_unsafe_data : 
  DeclareOwn(Func_T).{O}4.t Ctypes.ptr ->
  object_state ->
  DeclareOwn(Func_T).{O}4.d ->
  s

Make a new owning structure from a pointer, with an additional data. Does not raise an exception if NULL is given. See also WasmerBindings.OwnableObject.make_from_raise_data.

val get_state : s -> object_state

Returns the current ownership state.

val lose_ownership : s -> unit

Sets the current ownership state to WasmerBindings.object_state.State_PassedAway. Ignores the current ownership.

val grab_ownership : s -> DeclareOwn(Func_T).{O}4.t Ctypes.ptr

grab_ownership self gives the ownership of the pointed object to the caller code. It is equivalent to let p = get_ptr self in lose_ownership self; p, but with additional checks for the current ownership.

returns
The pointer

val gain_ownership_back : s -> DeclareOwn(Func_T).{O}4.t Ctypes.ptr

Deletes the object if required, then sets the ownership to WasmerBindings.object_state.State_Owned and returns the pointer. This is only to be used in own-out function arguments in the C API or equivalent.

returns
A deleted or given-away pointer.

raises Invalid_access
If the current state is WasmerBindings.object_state.State_Dependent

val is_null : s -> bool

Returns Ctypes.is_null on the underlying pointer, ignoring the current ownership state.

val get_ptr : s -> DeclareOwn(Func_T).{O}4.t Ctypes.ptr

Returns the underlying pointer, requiring a sufficient ownership state.

raises Invalid_access
If the current state is lower than WasmerBindings.object_state.State_RW

val get_ptr_const : s -> DeclareOwn(Func_T).{O}4.t Ctypes.ptr

Returns the underlying pointer, requiring a sufficient ownership state.

raises Invalid_access
If the current state is lower than WasmerBindings.object_state.State_Const

val get_ptr_givenaway : s -> DeclareOwn(Func_T).{O}4.t Ctypes.ptr

Inherently unsafe function that returns a given-away pointer.

raises Invalid_access
If the current state is not WasmerBindings.object_state.State_PassedAway

val delete : s -> unit

Frees the underlying pointer. A side effect is to mark the object as given away.

module V = DeclareType(Func_T).V

module Vec = DeclareType(Func_T).Vec

val duplicate : s -> s

val duplicate_unsafe : s -> s

type capi_callback_t =
  Val.Vec.t Ctypes.structure Ctypes.ptr ->
  Val.Vec.t Ctypes.structure Ctypes.ptr ->
  Trap.t Ctypes.structure Ctypes.ptr

type capi_callback_with_env_t =
  unit Ctypes.ptr ->
  Val.Vec.t Ctypes.structure Ctypes.ptr ->
  Val.Vec.t Ctypes.structure Ctypes.ptr ->
  Trap.t Ctypes.structure Ctypes.ptr

val capi_callback_t : capi_callback_t Ctypes.typ

val capi_callback_with_env_t : capi_callback_with_env_t Ctypes.typ

type callback_t = Store.s -> Val.Vec.s -> Val.Vec.s -> Trap.s option

type callback_with_env_t =
  Wasi_.Env_.s ->
  Val.Vec.s ->
  Val.Vec.s ->
  Trap.s option

val new_ : Store.s -> Functype.s -> callback_t -> s

Callbacks need to be stored somewhere so they do not get GC'd

val new_unsafe : Store.s -> Functype.s -> callback_t -> s

val new_with_env : 
  Store.s ->
  Functype.s ->
  callback_with_env_t ->
  Wasi_.Env_.s ->
  (Wasi_.Env_.s -> unit) option ->
  s

val new_with_env_unsafe : 
  Store.s ->
  Functype.s ->
  callback_with_env_t ->
  Wasi_.Env_.s ->
  (Wasi_.Env_.s -> unit) option ->
  s

val type_ : s -> Functype.s

val param_arity : s -> int

val result_arity : s -> int

val compatible_vectors : s -> Val.Vec.s -> Val.Vec.s -> (unit, bool) result

val call : s -> Val.Vec.s -> Val.Vec.s -> Trap.s option

val call_unsafe : s -> Val.Vec.s -> Val.Vec.s -> Trap.s