Module Core.UtilsSource

Utility functions

Sourceval exec_cleaner : Ast.Stmt.stmt -> ('a, 'b) Manager.man -> 'a Flow.flow -> ('a, unit) Cases.cases
Sourceval exec_cleaners : ('a, 'b) Manager.man -> ('a, unit) Cases.cases -> ('a, unit) Cases.cases
Sourceval post_to_flow : ('a, 'b) Manager.man -> 'a Post.post -> 'a Flow.flow
Sourceval assume : Ast.Expr.expr -> ?route:Route.route -> ?translate:Ast.Semantic.semantic -> fthen:('a Flow.flow -> ('a, 'b) Cases.cases) -> felse:('a Flow.flow -> ('a, 'b) Cases.cases) -> ?fboth:('a Flow.flow -> 'a Flow.flow -> ('a, 'b) Cases.cases) -> ?fnone:('a Flow.flow -> 'a Flow.flow -> ('a, 'b) Cases.cases) -> ?eval:bool -> ('a, 'c) Manager.man -> 'a Flow.flow -> ('a, 'b) Cases.cases
Sourceval switch : (Ast.Expr.expr list * ('a Flow.flow -> ('a, 'r) Cases.cases)) list -> ?route:Route.route -> ('a, 'b) Manager.man -> 'a Flow.flow -> ('a, 'r) Cases.cases
Sourceval set_env : Token.token -> 't -> ('a, 't) Manager.man -> 'a Flow.flow -> 'a Post.post
Sourceval set_singleton_env : 'a -> 'b Context.ctx -> ('b, 'a) Manager.man -> 'b -> 'b
Sourceval set_env_flow : Token.token -> 'b -> ('a, 'b) Manager.man -> 'a Flow.flow -> 'a Flow.flow
Sourceval get_env : Token.token -> ('a, 't) Manager.man -> 'a Flow.flow -> ('a, 't) Cases.cases
Sourceval get_singleton_env : 'a Context.ctx -> ('a, 'b) Manager.man -> 'a -> 'b
Sourceval get_singleton_env_from_flow : Token.token -> ('a, 't) Manager.man -> 'a Flow.flow -> 't
Sourceval map_env : Token.token -> ('t -> 't) -> ('a, 't) Manager.man -> 'a Flow.flow -> 'a Post.post
Sourceval get_pair_fst : ('a, 'b * 'c) Manager.man -> Token.token -> 'a Flow.flow -> ('a, 'b) Cases.cases
Sourceval set_pair_fst : ('a, 'b * 'c) Manager.man -> Token.token -> 'b -> 'a Flow.flow -> ('a, unit) Cases.cases
Sourceval get_pair_snd : ('a, 'b * 'c) Manager.man -> Token.token -> 'a Flow.flow -> ('a, 'c) Cases.cases
Sourceval set_pair_snd : ('a, 'b * 'c) Manager.man -> Token.token -> 'c -> 'a Flow.flow -> ('a, unit) Cases.cases
Sourceval env_exec : ('a Flow.flow -> 'a Post.post) -> 'a Context.ctx -> ('a, 't) Manager.man -> 'a -> 'a
Sourceval ask_and_reduce_cases : (('a, 'b) Query.query -> 'c -> ('d, 'b) Cases.cases) -> ('a, 'b) Query.query -> ?bottom:(unit -> 'b) -> 'c -> 'b
Sourceval ask_and_reduce_list : (('a, 'b) Query.query -> 'c -> ('d * 'b) list) -> ('a, 'b) Query.query -> ?bottom:(unit -> 'b) -> 'c -> 'b
Sourceval ask_and_reduce : (('a, 'b) Query.query -> 'c -> ('d, 'b) Cases.cases) -> ('a, 'b) Query.query -> ?bottom:(unit -> 'b) -> 'c -> 'b
Sourceval find_var_by_name : ?function_scope:string option -> string -> ('a, 'b) Manager.man -> 'a Flow.flow -> Ast.Var.var
Sourceval pp_vars_info : ('a, 'b) Manager.man -> 'a Flow.flow -> Stdlib.Format.formatter -> Ast.Var.var list -> unit
Sourceval pp_vars_info_by_name : ('a, 'b) Manager.man -> 'a Flow.flow -> Stdlib.Format.formatter -> string list -> unit
Sourceval pp_expr_vars_info : ('a, 'b) Manager.man -> 'a Flow.flow -> Stdlib.Format.formatter -> Ast.Expr.expr -> unit
Sourceval pp_stmt_vars_info : ('a, 'b) Manager.man -> 'a Flow.flow -> Stdlib.Format.formatter -> Ast.Stmt.stmt -> unit
Sourceval breakpoint : string -> ('a, 'b) Manager.man -> 'a Flow.flow -> unit