package octez-l2-libs

  1. Overview
  2. Docs
Octez layer2 libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam
  2. W
    WebAssembly Authors

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

doc/octez-l2-libs.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