package owi

You can search for identifiers within the package.

in-package search v0.2.0

owi
- CHANGES
- LICENSE
- README
- Library owi
  - Owi
    
    Check
    
    Compile
    
    Convert
    
    Float32
    
    Float64
    
    Int32
    
    Int64
    
    Interpret
    
    Lexer
    
    Link
    
    Memory
    
    Table
    
    Global
    
    Env
    
    StringMap
    
    StringSet
    
    Log
    
    Menhir_parser
    
    Parse
    
    Pp
    
    Arg
    
    Shared
    
    Symbolic_indice
    
    Simplified_indice
    
    Const
    
    Make_Expr
    
    Input_Expr
    
    Global
    
    Input
    
    Simplified
    
    Script
    
    Simplify
    
    StringMap
    
    Named
    
    Spectest
    
    Stack
    
    Typecheck
    
    Types
    
    Const
    
    Value
    
    Extern_ref
    
    Func
    
    Wutf8
- Sources
  - owi
    
    check.ml
    
    compile.ml
    
    int32.ml
    
    int64.ml
    
    interpret.ml
    
    link.ml
    
    log.ml
    
    owi.ml
    
    parse.ml
    
    pp.ml
    
    script.ml
    
    simplify.ml
    
    typecheck.ml
    
    types.ml
    
    value.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Owi.Link`Source

Module to link a simplified/extern module and producing a runnable module along with a link state.

Sourcemodule Memory : sig ... end

runtime memory

Sourcemodule Table : sig ... end

runtime table

Sourcemodule Global : sig ... end

runtime global

Sourcemodule Env : sig ... end

runtime env

Sourcetype module_to_run = {

module_ : Simplify.simplified_module;
env : Env.t;
to_run : (int, Types.func_type) Types.expr' list;

}

runnable module

Sourcemodule StringMap : Map.S with type key = string

Sourcemodule StringSet : Set.S

Sourcetype exports = {

globals : Env.t' Global.t StringMap.t;
memories : Memory.t StringMap.t;
tables : Env.t' Table.t StringMap.t;
functions : Env.t' Value.Func.t StringMap.t;
defined_names : StringSet.t;

}

runtime exported items

Sourcetype state = {

by_name : exports StringMap.t;
by_id : exports StringMap.t;
last : exports option;

}

link state

Sourceval empty_state : state

the empty link state

val module_ : 
  Simplify.simplified_module ->
  state ->
  (module_to_run * state, string) result

link a module with a given link state, producing a runnable module and a new link state

Sourceval register_module : state -> name:string -> id:string option -> state

register a module inside a link state, producing a new link state

Sourcetype extern_module = {

functions : (string * Value.Func.extern_func) list;

}

extern modules

Sourceval extern_module : string -> extern_module -> state -> state

register an extern module with a given link state, producing a new link state