Module `Owi.Types`Source

Types of text modules, as produced by the parser. Many parts of it are reused later in the interpreter.

Sourceexception Trap of string

Structure

Types

Sourcetype nonrec num_type =

| I32
| I64
| F32
| F64

Sourcetype nonrec ref_type =

| Func_ref
| Extern_ref

Sourcetype nonrec val_type =

| Num_type of num_type
| Ref_type of ref_type

Sourcetype nonrec param = string option * val_type

Sourcetype nonrec param_type = param list

Sourcetype nonrec result_ = val_type

Sourcetype nonrec result_type = result_ list

Sourcetype nonrec func_type = param_type * result_type

Sourcetype nonrec limits = {

min : int;
max : int option;

}

Sourcetype nonrec mem_type = limits

Sourcetype nonrec table_type = limits * ref_type

Sourcetype nonrec mut =

| Const
| Var

Sourcetype nonrec global_type = mut * val_type

Sourcetype nonrec extern_type =

| Func of string option * func_type
| Table of string option * table_type
| Mem of string option * mem_type
| Global of string option * global_type

Instructions

Sourcetype nonrec nn =

| S32
| S64

Sourcetype nonrec sx =

| U
| S

Sourcetype nonrec iunop =

| Clz
| Ctz
| Popcnt

Sourcetype nonrec funop =

| Abs
| Neg
| Sqrt
| Ceil
| Floor
| Trunc
| Nearest

Sourcetype nonrec ibinop =

| Add
| Sub
| Mul
| Div of sx
| Rem of sx
| And
| Or
| Xor
| Shl
| Shr of sx
| Rotl
| Rotr

Sourcetype nonrec fbinop =

| Add
| Sub
| Mul
| Div
| Min
| Max
| Copysign

Sourcetype nonrec itestop =

| Eqz

Sourcetype nonrec irelop =

| Eq
| Ne
| Lt of sx
| Gt of sx
| Le of sx
| Ge of sx

Sourcetype nonrec frelop =

| Eq
| Ne
| Lt
| Gt
| Le
| Ge

Sourcetype indice =

| Raw of int
| Symbolic of string

Sourcetype memarg = {

offset : int;
align : int;

}

Sourcetype 'indice block_type =

| Bt_ind of 'indice
| Bt_raw of 'indice option * func_type

Sourcetype ('indice, 'bt) instr' =

| I32_const of Int32.t
| I64_const of Int64.t
| F32_const of Owi.Float32.t
| F64_const of Owi.Float64.t
| I_unop of nn * iunop
| F_unop of nn * funop
| I_binop of nn * ibinop
| F_binop of nn * fbinop
| I_testop of nn * itestop
| I_relop of nn * irelop
| F_relop of nn * frelop
| I_extend8_s of nn
| I_extend16_s of nn
| I64_extend32_s
| I32_wrap_i64
| I64_extend_i32 of sx
| I_trunc_f of nn * nn * sx
| I_trunc_sat_f of nn * nn * sx
| F32_demote_f64
| F64_promote_f32
| F_convert_i of nn * nn * sx
| I_reinterpret_f of nn * nn
| F_reinterpret_i of nn * nn
| Ref_null of ref_type
| Ref_is_null
| Ref_func of 'indice
| Drop
| Select of val_type list option
| Local_get of 'indice
| Local_set of 'indice
| Local_tee of 'indice
| Global_get of 'indice
| Global_set of 'indice
| Table_get of 'indice
| Table_set of 'indice
| Table_size of 'indice
| Table_grow of 'indice
| Table_fill of 'indice
| Table_copy of 'indice * 'indice
| Table_init of 'indice * 'indice
| Elem_drop of 'indice
| I_load of nn * memarg
| F_load of nn * memarg
| I_store of nn * memarg
| F_store of nn * memarg
| I_load8 of nn * sx * memarg
| I_load16 of nn * sx * memarg
| I64_load32 of sx * memarg
| I_store8 of nn * memarg
| I_store16 of nn * memarg
| I64_store32 of memarg
| Memory_size
| Memory_grow
| Memory_fill
| Memory_copy
| Memory_init of 'indice
| Data_drop of 'indice
| Nop
| Unreachable
| Block of string option * 'bt option * ('indice, 'bt) expr'
| Loop of string option * 'bt option * ('indice, 'bt) expr'
| If_else of string option * 'bt option * ('indice, 'bt) expr' * ('indice, 'bt) expr'
| Br of 'indice
| Br_if of 'indice
| Br_table of 'indice array * 'indice
| Return
| Call of 'indice
| Call_indirect of 'indice * 'bt

Sourceand ('indice, 'bt) expr' = ('indice, 'bt) instr' list

Sourcetype instr = (indice, indice block_type) instr'

Sourcetype simplified_instr = (int, int block_type) instr'

Sourcetype expr = (indice, indice block_type) expr'

Sourcetype simplified_expr = (int, int block_type) expr'

Sourcetype result_expr = (int, func_type) expr'

Sourcetype ('indice, 'bt) func' = {

type_f : 'bt;
locals : param list;
body : ('indice, 'bt) expr';
id : string option;

}

Sourcetype 'indice func = ('indice, 'indice block_type) func'

Sourcetype table = string option * table_type

Sourcetype mem = string option * mem_type

Sourcetype 'expr global' = {

type_ : global_type;
init : 'expr;
id : string option;

}

Sourcetype global = (indice, indice block_type) expr' global'

Sourcetype ('indice, 'expr) elem_mode =

| Elem_passive
| Elem_active of 'indice * 'expr
| Elem_declarative

Sourcetype ('indice, 'expr) elem' = {

id : string option;
type_ : ref_type;
init : 'expr list;
mode : ('indice, 'expr) elem_mode;

}

Sourcetype elem = (indice option, (indice, indice block_type) expr') elem'

Sourcetype ('indice, 'expr) data_mode =

| Data_passive
| Data_active of 'indice * 'expr

Sourcetype ('indice, 'expr) data' = {

id : string option;
init : string;
mode : ('indice, 'expr) data_mode;

}

Sourcetype data = (indice option, (indice, indice block_type) expr') data'

Sourcetype import_desc =

| Import_func of string option * indice block_type
| Import_table of string option * table_type
| Import_mem of string option * mem_type
| Import_global of string option * global_type

Sourcetype import = {

module_ : string;
name : string;
desc : import_desc;

}

Sourcetype 'indice export_desc' =

| Export_func of 'indice option
| Export_table of 'indice option
| Export_mem of 'indice option
| Export_global of 'indice option

Sourcetype export_desc = indice export_desc'

Sourcetype 'indice export' = {

name : string;
desc : 'indice export_desc';

}

Sourcetype export = indice export'

Sourcetype type_ = string option * func_type

Sourcetype module_field =

| MType of type_
| MGlobal of global
| MTable of table
| MMem of mem
| MFunc of indice func
| MElem of elem
| MData of data
| MStart of indice
| MImport of import
| MExport of export

Sourcetype module_ = {

id : string option;
fields : module_field list;

}

Sourcetype const =

| Const_I32 of Int32.t
| Const_I64 of Int64.t
| Const_F32 of Owi.Float32.t
| Const_F64 of Owi.Float64.t
| Const_null of ref_type
| Const_host of int

Sourcetype action =

| Invoke of string option * string * const list
| Get of string option * string

Sourcetype result_const =

| Literal of const
| Nan_canon of nn
| Nan_arith of nn

Sourcetype result =

| Result_const of result_const
| Result_extern_ref
| Result_func_ref

Sourcetype assert_ =

| Assert_return of action * result list
| Assert_trap of action * string
| Assert_trap_module of module_ * string
| Assert_malformed of module_ * string
| Assert_malformed_quote of string list * string
| Assert_malformed_binary of string list * string
| Assert_invalid of module_ * string
| Assert_invalid_quote of string list * string
| Assert_invalid_binary of string list * string
| Assert_exhaustion of action * string
| Assert_unlinkable of module_ * string

Sourcetype cmd =

| Module of module_
| Assert of assert_
| Register of string * string option
| Action of action

Sourcetype script = cmd list

Sourcemodule Const : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/owi/Owi/Types/index.html

Module `Owi.Types`Source

package owi

Install

Dune Dependency

Authors

Maintainers

Sources

doc/owi/Owi/Types/index.html

Module Owi.TypesSource

Module `Owi.Types`Source