package tezos-wasmer

  1. Overview
  2. Docs
Wasmer bindings for SCORU WASM

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (3)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-wasmer/Tezos_wasmer/index.html

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