include module type of struct include DeclareType(Memory_T) endinclude module type of struct include DeclareOwn(Memory_T) endThe base WASM objects, declared in wasm.h as WASM_DECLARE_OWN.
type t = DeclareOwn(Memory_T).tThe C unique (abstract) base type for the structure. the structure type is therefore t structure.
val t : t Ctypes.structure Ctypes.typThe Ctypes definition of the C structure.
This structure maintains an ownership status. See also WasmerBindings.OwnableObject.
include module type of struct include OwnableObject(DeclareType(Memory_T).{O}4) endOwnable objects are the basic structure that maintains an ownership state on C objects.
The owning structure type.
val make_new : unit -> sMake a new owning structure from a new pointer.
val make_from_raise :
DeclareOwn(Memory_T).{O}4.t Ctypes.ptr ->
object_state ->
sMake a new owning structure from a pointer. See also WasmerBindings.OwnableObject.make_from_unsafe.
val make_from_unsafe :
DeclareOwn(Memory_T).{O}4.t Ctypes.ptr ->
object_state ->
sMake 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(Memory_T).{O}4.t Ctypes.ptr ->
object_state ->
DeclareOwn(Memory_T).{O}4.d ->
sMake a new owning structure from a pointer, with an additional data. See also WasmerBindings.OwnableObject.make_from_unsafe_data.
val make_from_unsafe_data :
DeclareOwn(Memory_T).{O}4.t Ctypes.ptr ->
object_state ->
DeclareOwn(Memory_T).{O}4.d ->
sMake 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_stateReturns the current ownership state.
val lose_ownership : s -> unitSets the current ownership state to WasmerBindings.object_state.State_PassedAway. Ignores the current ownership.
val grab_ownership : s -> DeclareOwn(Memory_T).{O}4.t Ctypes.ptrgrab_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.
val gain_ownership_back : s -> DeclareOwn(Memory_T).{O}4.t Ctypes.ptrDeletes 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.
val is_null : s -> boolReturns Ctypes.is_null on the underlying pointer, ignoring the current ownership state.
val get_ptr : s -> DeclareOwn(Memory_T).{O}4.t Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_const : s -> DeclareOwn(Memory_T).{O}4.t Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_givenaway : s -> DeclareOwn(Memory_T).{O}4.t Ctypes.ptrInherently unsafe function that returns a given-away pointer.
val delete : s -> unitFrees the underlying pointer. A side effect is to mark the object as given away.
module V = DeclareType(Memory_T).Vmodule Vec = DeclareType(Memory_T).Vecval pages_t : pages_t Ctypes.typval new_ : Store.s -> Memorytype.s -> sval new_unsafe : Store.s -> Memorytype.s -> sval type_ : s -> Memorytype.sval data_size : s -> intval get_data : s -> int -> int -> bytesval set_data : s -> int -> int -> bytes -> unitval size : s -> intval grow : s -> int -> bool