Module Tezos_wasmerSource

Sourcemodule Config : sig ... end
Sourcemodule Engine : sig ... end
Sourcemodule Store : sig ... end
Sourcemodule Ref : sig ... end
Sourcetype _ typ

WebAssembly type

Sourceval i32 : int32 typ

32-bit integer

Sourceval i64 : int64 typ

64-bit integer

Sourceval f32 : float typ

32-bit floating point number

Sourceval f64 : float typ

64-bit floating point number

Sourceval anyref : Ref.t typ

Generic reference

Sourceval funcref : Ref.t typ

Function reference

Sourcetype _ fn

Function type

Sourceval (@->) : 'a typ -> 'b fn -> ('a -> 'b) fn

x @-> f composes a function type such that x is in the contravariant position and f in the covariant position.

Sourceval returning1 : 'a typ -> 'a Lwt.t fn

returning1 ret describes a function that receives no arguments and returns a single value of type ret.

Sourcetype 'a ret

Return type

Sourceval nothing : unit ret

nothing returns nothing.

Sourceval ret1 : 'a typ -> 'a ret

ret1 typ constructs a return type for one value of type typ.

Sourceval (@**) : 'a typ -> 'b typ -> ('a * 'b) ret

a @** b composes two types as a tuple return type such that two values of respectively type a and b are returned.

Sourceval (@*) : 'a typ -> 'b ret -> ('a * 'b) ret

x @* xs composes things similarly to @** with the addition that the second parameter may already be a composite type.

Sourceval returning : 'a ret -> 'a Lwt.t fn

returning ret constructs a function type which receives no parameters from the WebAssembly side, but returns values as described by ret.

Sourceval producer : 'a ret -> (unit -> 'a Lwt.t) fn

producer ret works similar to returning but adds an extra unit argument so that the effects of the implementing function trigger at call time.

Sourcetype extern

Something that can be given to a WebAssembly module via an import

Sourceval fn : 'a fn -> 'a -> extern

Construct an extern function.

Sourcemodule Module : sig ... end
Sourcemodule Memory : sig ... end
Sourcemodule Instance : sig ... end
Sourcemodule Exports : sig ... end