package js_of_ocaml

  1. Overview
  2. Docs
package js_of_ocaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type addr = int
module DebugAddr : sig ... end
module Var : sig ... end
module VarSet : sig ... end
module VarMap : sig ... end
module VarTbl : sig ... end
module VarISet : sig ... end
module AddrSet : sig ... end
module AddrMap : sig ... end
type cont = addr * Var.t list
type prim =
  1. | Vectlength
  2. | Array_get
  3. | Extern of string
  4. | Not
  5. | IsInt
  6. | Eq
  7. | Neq
  8. | Lt
  9. | Le
  10. | Ult
type constant =
  1. | String of string
  2. | IString of string
  3. | Float of float
  4. | Float_array of float array
  5. | Int64 of int64
  6. | Tuple of int * constant array
  7. | Int of int32
type prim_arg =
  1. | Pv of Var.t
  2. | Pc of constant
type expr =
  1. | Const of int32
  2. | Apply of Var.t * Var.t list * bool
  3. | Block of int * Var.t array
  4. | Field of Var.t * int
  5. | Closure of Var.t list * cont
  6. | Constant of constant
  7. | Prim of prim * prim_arg list
type instr =
  1. | Let of Var.t * expr
  2. | Set_field of Var.t * int * Var.t
  3. | Offset_ref of Var.t * int
  4. | Array_set of Var.t * Var.t * Var.t
type cond =
  1. | IsTrue
  2. | CEq of int32
  3. | CLt of int32
  4. | CLe of int32
  5. | CUlt of int32
type last =
  1. | Return of Var.t
  2. | Raise of Var.t
  3. | Stop
  4. | Branch of cont
  5. | Cond of cond * Var.t * cont * cont
  6. | Switch of Var.t * cont array * cont array
  7. | Pushtrap of cont * Var.t * cont * AddrSet.t
  8. | Poptrap of cont * addr
type block = {
  1. params : Var.t list;
  2. handler : (Var.t * cont) option;
  3. body : instr list;
  4. branch : last;
}
type program = addr * block AddrMap.t * addr
type xinstr =
  1. | Instr of instr
  2. | Last of last
val print_var_list : Format.formatter -> Var.t list -> unit
val print_instr : Format.formatter -> instr -> unit
val print_block : (AddrMap.key -> xinstr -> string) -> int -> block -> unit
val print_program : (AddrMap.key -> xinstr -> string) -> program -> unit
val print_last : Format.formatter -> last -> unit
val print_cont : Format.formatter -> cont -> unit
val fold_closures : program -> (Var.t option -> Var.t list -> cont -> 'd -> 'd) -> 'd -> 'd
val fold_children : block AddrMap.t -> addr -> (addr -> 'c -> 'c) -> 'c -> 'c
val traverse : (block AddrMap.t -> addr -> (addr -> (AddrSet.t * 'c) -> AddrSet.t * 'c) -> (AddrSet.t * 'c) -> AddrSet.t * 'c) -> (addr -> 'c -> 'c) -> addr -> block AddrMap.t -> 'c -> 'c
val prepend : program -> instr list -> program
val empty : program
val eq : program -> program -> bool
val invariant : program -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct