Packages

gwr

0.0.2
0.1.0 0.0.2 0.0.1

An experimental work-in-progress (WIP) WebAssembly runtime written in Gleam.

HexDocs

Current section

Files

Jump to
Readme
3 Versions
2 Dependencies
Dependants
Files
Activity
gwr src gwr@syntax@types.erl
Raw

src/gwr@syntax@types.erl 

-module(gwr@syntax@types).

-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).



-export_type([number_type/0, vector_type/0, reference_type/0, value_type/0, function_type/0, limits/0, table_type/0, mutability/0, global_type/0, external_type/0]).



-type number_type() :: integer32 | integer64 | float32 | float64.



-type vector_type() :: vector128.



-type reference_type() :: function_reference | extern_reference.



-type value_type() :: {number, number_type()} |

    {vector, vector_type()} |

    {reference, reference_type()}.



-type function_type() :: {function_type, list(value_type()), list(value_type())}.



-type limits() :: {limits, integer(), gleam@option:option(integer())}.



-type table_type() :: {table_type, limits(), reference_type()}.



-type mutability() :: constant | variable.



-type global_type() :: {global_type, mutability(), value_type()}.



-type external_type() :: {function, function_type()} |

    {table, table_type()} |

    {memory, limits()} |

    {global, global_type()}.