package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug : ('a, Format.formatter, unit, unit) format4 -> 'b
val partition_list_by_length : int -> 'a list -> 'b list * 'a list
val mk_builtin_raise : string -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_raise_args : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_raise_msg : string -> string -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_call : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_hasattr : Mopsa.expr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_object_hasattr : (Mopsa.addr * Mopsa.expr option) -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_addr_hasattr : Ast.Addr.addr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_try_stopiteration : Mopsa.stmt -> Mopsa.stmt -> Mopsa_utils.Location.range -> Mopsa.stmt
val check_instances : ?arguments_after_check:int -> string -> ('a, 'b) Mopsa.man -> 'c Core.Flow.flow -> Mopsa_utils.Location.range -> Ast.Expr.expr list -> string list -> (Mopsa.expr list -> 'd Mopsa.Flow.flow -> ('e, Ast.Expr.expr) Core.Cases.cases) -> ('f, Ast.Expr.expr) Mopsa.Cases.cases
val check_instances_disj : ?arguments_after_check:int -> string -> ('a, 'b) Mopsa.man -> 'c Core.Flow.flow -> Mopsa_utils.Location.range -> Ast.Expr.expr list -> string list list -> (Mopsa.expr list -> 'd Mopsa.Flow.flow -> ('e, Ast.Expr.expr) Core.Cases.cases) -> ('f, Ast.Expr.expr) Mopsa.Cases.cases
val strip_object : Mopsa.expr -> Mopsa.expr
val new_wrapper : ('a, 'b) Mopsa.man -> Mopsa_utils.Location.range -> 'a Core.Flow.flow -> string -> Ast.Expr.expr -> fthennew:('c Mopsa.Flow.flow -> ('d, Ast.Expr.expr) Core.Cases.cases) -> ('e, Ast.Expr.expr) Mopsa.Cases.cases option
val bind_list_args : ?cleaners:bool -> ('b, 'a) Core.Manager.man -> Mopsa.expr list -> 'b0 Mopsa.Flow.flow -> Mopsa_utils.Location.range -> (Mopsa.var list -> 'b1 Mopsa.flow -> ('b1, 'c) Mopsa.Cases.cases) -> ('b2, 'c0) Mopsa.Cases.cases
val change_var_type : Mopsa.typ -> Mopsa.var -> Mopsa.var
val change_evar_type : Mopsa.typ -> Mopsa.expr -> Mopsa.expr
val extract_oobject : Mopsa.expr -> Mopsa.expr
val try_eval_expr : ?on_empty: (Mopsa.expr -> string -> Universal.Strings.Powerset.StringPower.t -> 'a Mopsa.Flow.flow -> 'a0 Mopsa.Eval.eval option) -> on_result:(Mopsa.expr -> 'a1 Mopsa.flow -> ('a1, Mopsa.expr) Mopsa.cases) -> ('a2, 'b) Mopsa.man -> ?route:Mopsa.Core.Route.route -> Ast.Expr.expr -> 'a3 Mopsa.flow -> ('a4, Mopsa.expr) Mopsa.cases option
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