package ppx_minidebug

  1. Overview
  2. Docs

Module Ppx_minidebugSource

module A = Ppxlib.Ast_builder.Default
Sourcetype log_value =
  1. | Sexp
  2. | Show
  3. | Pp
Sourcetype log_level =
  1. | Nothing
  2. | Prefixed of string array
  3. | Prefixed_or_result of string array
  4. | Nonempty_entries
  5. | Everything
Sourceval no_results : log_level -> bool
Sourceval is_prefixed_or_result : log_level -> bool
Sourcetype toplevel_opt_arg =
  1. | Nested
  2. | Toplevel_no_arg
  3. | Generic
  4. | PrintBox
  5. | Generic_local
  6. | PrintBox_local
Sourceval is_local_debug_runtime : toplevel_opt_arg -> bool
Sourceval global_log_count : int ref
Sourcetype context = {
  1. log_value : log_value;
  2. track_branches : bool;
  3. output_type_info : bool;
  4. interrupts : bool;
  5. log_level : log_level;
  6. toplevel_opt_arg : toplevel_opt_arg;
}
Sourceval init_context : context ref
Sourceval parse_log_level : Ppxlib_ast.Ast.expression -> (log_level, Ppxlib.expression) Either.t
Sourceval last_ident : Ppxlib.longident -> string
Sourceval typ2str : Ppxlib.core_type -> string
Sourceval pat2descr : default:String.t -> Ppxlib.pattern -> String.t Ppxlib.loc
Sourceval pat2expr : Ppxlib.pattern -> Ppxlib_ast.Ast.expression
Sourceval open_log : ?message:string -> loc:Ppxlib__.Location.t -> unit -> Ppxlib__.Import.expression
Sourceval open_log_no_source : message:Ppxlib_ast.Ast.expression -> loc:Ppxlib.location -> unit -> Ppxlib_ast.Ast.expression
Sourceval close_log : loc:Ppxlib.location -> Ppxlib_ast.Ast.expression
Sourceval to_descr : context -> loc:Ppxlib.location -> descr_loc:string Ppxlib.loc option -> Ppxlib.core_type -> Ppxlib_ast.Ast.expression
Sourceval check_prefix : string array -> Ppxlib.expression -> bool
Sourceval check_log_level : context -> is_explicit:bool -> is_result:bool -> Ppxlib.expression -> (unit -> Ppxlib_ast.Ast.expression) -> Ppxlib_ast.Ast.expression
Sourceval log_value_sexp : context -> loc:Ppxlib.location -> typ:Ppxlib.core_type -> ?descr_loc:string Ppxlib.loc -> is_explicit:bool -> is_result:bool -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval splice_lident : id_prefix:String.t -> Ppxlib.longident -> Ppxlib.longident
Sourceval log_value_pp : context -> loc:Ppxlib__.Location.t -> typ:Ppxlib.core_type -> ?descr_loc:string Ppxlib.loc -> is_explicit:bool -> is_result:bool -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval log_value_show : context -> loc:Ppxlib.location -> typ:Ppxlib.core_type -> ?descr_loc:string Ppxlib.loc -> is_explicit:bool -> is_result:bool -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval log_value : context -> loc:Ppxlib.location -> typ:Ppxlib.core_type -> ?descr_loc:string Ppxlib.loc -> is_explicit:bool -> is_result:bool -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval log_value_printbox : context -> loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval log_string : loc:Ppxlib__.Location.t -> descr_loc:string Ppxlib.loc -> string -> Ppxlib__.Import.expression
Sourceval log_string_with_descr : loc:Ppxlib.location -> message:Ppxlib_ast.Ast.expression -> string -> Ppxlib_ast.Ast.expression
Sourcetype fun_arg =
  1. | Pexp_fun_arg of Ppxlib.arg_label * Ppxlib.expression option * Ppxlib.pattern * Ppxlib.location * Ppxlib.location_stack * Ppxlib.attributes
  2. | Pexp_newtype_arg of Ppxlib.label Ppxlib.loc * Ppxlib.location * Ppxlib.location_stack * Ppxlib.attributes
Sourceval collect_fun : fun_arg list -> Ppxlib.expression -> fun_arg list * Ppxlib_ast.Ast.expression * Ppxlib_ast.Ast.core_type option
Sourceval expand_fun : Ppxlib.expression -> fun_arg list -> Ppxlib.expression
Sourceval pick : typ:Ppxlib.core_type -> ?alt_typ:Ppxlib.core_type -> unit -> Ppxlib.core_type
Sourceval has_unprintable_type : Ppxlib.core_type -> bool
Sourceval bound_patterns : alt_typ:Ppxlib.core_type option -> Ppxlib.pattern -> Ppxlib__.Import.pattern * (String.t Ppxlib.loc * Ppxlib.pattern * Ppxlib.core_type) list
Sourceval entry_with_interrupts : context -> loc:Ppxlib__.Location.t -> ?descr_loc:string Ppxlib.loc -> ?message:Ppxlib_ast.Ast.expression -> log_count_before:int -> ?header:Ppxlib_ast.Ast.expression -> preamble:Ppxlib_ast.Ast.expression -> entry:Ppxlib_ast.Ast.expression -> result:Ppxlib_ast.Ast.pattern -> log_result:Ppxlib_ast.Ast.expression -> unit -> Ppxlib_ast.Ast.expression
Sourceval debug_body : context -> (context -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression) -> loc:Ppxlib__.Location.t -> message:string -> descr_loc:string Ppxlib.loc -> log_count_before:int -> arg_logs:Ppxlib_ast.Ast.expression list -> Ppxlib.core_type option -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
Sourceval collect_fun_typs : Ppxlib.core_type list -> Ppxlib.core_type -> Ppxlib.core_type list * Ppxlib.core_type
Sourceval pass_runtime : ?always:bool -> toplevel_opt_arg -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval unpack_runtime : toplevel_opt_arg -> Ppxlib.expression -> Ppxlib.expression
Sourceval has_runtime_arg : context -> bool
Sourceval loc_to_name : Ppxlib.location -> string
Sourceval debug_fun : context -> (context -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression) -> ?typ:Ppxlib.core_type -> ?ret_descr:string Ppxlib.loc -> ?ret_typ:Ppxlib.core_type -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval debug_case : ?unpack_context:toplevel_opt_arg -> context -> (context -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression) -> ?ret_descr:string Ppxlib.loc -> ?ret_typ:Ppxlib.core_type -> ?arg_typ:Ppxlib.core_type -> string -> int -> Ppxlib.case -> Ppxlib.case
Sourceval debug_function : ?unpack_context:toplevel_opt_arg -> context -> (context -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression) -> loc:Ppxlib__.Location.t -> ?ret_descr:string Ppxlib.loc -> ?ret_typ:Ppxlib.core_type -> ?arg_typ:Ppxlib.core_type -> Ppxlib.case list -> Ppxlib__.Import.expression
Sourceval debug_binding : context -> (context -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression) -> Ppxlib.value_binding -> Ppxlib.value_binding
Sourceval extract_type : ?default:Ppxlib_ast.Ast.core_type -> alt_typ:Ppxlib.core_type option -> Ppxlib.expression -> Ppxlib__.Import.core_type
Sourcetype rule = {
  1. ext_point : string;
  2. track_branches : bool;
  3. toplevel_opt_arg : toplevel_opt_arg;
  4. expander : [ `Debug | `Debug_this | `Str ];
  5. restrict_to_explicit : bool;
  6. log_value : log_value;
}
Sourceval is_ext_point : string -> bool
Sourceval traverse_expression : context Ppxlib.Ast_traverse.map_with_context
Sourceval debug_this_expander : context -> Ppxlib.expression -> Ppxlib.expression
Sourceval debug_expander : context -> Ppxlib__.Import.Ast.expression -> Ppxlib__.Import.Ast.expression
Sourceval str_expander : context -> loc:Ppxlib.location -> Ppxlib.structure_item list -> Ppxlib.structure_item
Sourceval global_output_type_info : Ppxlib.Context_free.Rule.t
Sourceval global_interrupts : Ppxlib.Context_free.Rule.t
Sourceval global_log_level : Ppxlib.Context_free.Rule.t
Sourceval global_log_level_from_env_var : check_consistency:bool -> Ppxlib.Context_free.Rule.t
Sourceval noop_for_testing : Ppxlib.Context_free.Rule.t
Sourceval rules : Ppxlib.Context_free.Rule.t list