package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type

Utility functions

val exec_cleaner : Ast.Stmt.stmt -> ('a, 'b) Manager.man -> 'c Flow.flow -> ('c, unit) Cases.cases
val exec_cleaners : ('a, 'b) Manager.man -> ('c, unit) Cases.cases -> ('d, unit) Cases.cases
val post_to_flow : ('a, 'b) Manager.man -> 'c Post.post -> 'd Flow.flow
val assume : Ast.Expr.expr -> ?route:Route.route -> ?translate:Ast.Semantic.semantic -> fthen:('a Flow.flow -> ('b, 'c) Cases.cases) -> felse:('d Flow.flow -> ('e, 'f) Cases.cases) -> ?fboth:('a Flow.flow -> 'd Flow.flow -> ('g, 'h) Cases.cases) -> ?fnone:('i Flow.flow -> 'j Flow.flow -> ('k, 'l) Cases.cases) -> ?eval:bool -> ('m, 'n) Manager.man -> 'm Flow.flow -> ('a, 'o) Cases.cases
val switch : (Ast.Expr.expr list * ('a Flow.flow -> ('a, 'r) Cases.cases)) list -> ?route:Route.route -> ('a0, 'b) Manager.man -> 'a1 Flow.flow -> ('a2, 'r0) Cases.cases
val set_env : Token.token -> 't -> ('a, 't0) Manager.man -> 'a0 Flow.flow -> 'a1 Flow.flow
val get_env : Token.token -> ('a, 't) Manager.man -> 'a0 Flow.flow -> 't0
val map_env : Token.token -> ('t -> 't) -> ('a, 't0) Manager.man -> 'a0 Flow.flow -> 'a1 Flow.flow
val get_pair_fst : ('a, 'b * 'c) Manager.man -> 'd -> 'e
val set_pair_fst : ('a, 'b * 'c) Manager.man -> 'd -> 'e -> 'f
val get_pair_snd : ('a, 'b * 'c) Manager.man -> 'd -> 'e
val set_pair_snd : ('a, 'b * 'c) Manager.man -> 'd -> 'e -> 'f
val env_exec : ('a Flow.flow -> 'a Post.post) -> 'a0 Context.ctx -> ('a1, 't) Manager.man -> 'a2 -> 'a3
val ask_and_reduce_cases : (('a, 'b) Query.query -> 'c -> ('d, 'e) Cases.cases) -> ('a, 'b) Query.query -> ?bottom:(unit -> 'f) -> 'g -> 'h
val ask_and_reduce_list : (('a, 'b) Query.query -> 'c -> ('d * 'e) list) -> ('a, 'b) Query.query -> ?bottom:(unit -> 'f) -> 'g -> 'h
val ask_and_reduce : (('a, 'b) Query.query -> 'c -> ('d, 'b) Cases.cases) -> ('a, 'b) Query.query -> ?bottom:(unit -> 'b) -> 'c -> 'b
val find_var_by_name : ?function_scope:string option -> string -> ('a, 'b) Manager.man -> 'a Flow.flow -> Ast.Var.var
val dummy_range : Mopsa_utils.Location.range
val pp_vars_info : ('a, 'b) Manager.man -> 'a Flow.flow -> Format.formatter -> Ast.Var.var list -> unit
val pp_vars_info_by_name : ('a, 'b) Manager.man -> 'a Flow.flow -> Format.formatter -> string list -> unit
val pp_expr_vars_info : ('a, 'b) Manager.man -> 'a Flow.flow -> Format.formatter -> Ast.Expr.expr -> unit
val pp_stmt_vars_info : ('a, 'b) Manager.man -> 'a Flow.flow -> Format.formatter -> Ast.Stmt.stmt -> unit
val breakpoint : string -> ('a, 'b) Manager.man -> 'a Flow.flow -> 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