package pa_ppx

  1. Overview
  2. Docs
val debug : bool ref
val mli_only : bool ref
val redeclare : bool ref
val predicates : string list ref
val lookup_path : string list ref
val reset_switches : unit -> unit
val add_predicates : string -> unit
val add_package : string -> unit
val add_include : string -> unit
val pp_report : Format.formatter -> unit -> unit
val report : unit -> unit
val lookup1 : string -> string -> Fpath.t
val lookup_file : string -> string -> string
module CMI : sig ... end
module MLI : sig ... end
module Lookup : sig ... end
val logged_parse : (string -> 'a) -> string -> 'a
module RM : sig ... end
val substitute_ctyp : (MLast.ctyp * MLast.ctyp) list -> MLast.ctyp -> MLast.ctyp
val expr_to_ctyp0 : MLast.expr -> MLast.ctyp
val expr_to_ctyp : 'a -> MLast.expr -> MLast.ctyp
val assignment_to_subst : MLast.expr -> (MLast.ctyp * MLast.ctyp) list
val extend_renmap : (('a * string) Ploc.vala * MLast.payload) Ploc.vala -> (MLast.ctyp * MLast.ctyp) list -> (MLast.ctyp * MLast.ctyp) list
val extract_with_attributes : MLast.attribute list -> MLast.attribute list * MLast.attribute list
val extract_synonym_attributes : MLast.attribute list -> MLast.attribute list * MLast.attribute list
val extract_add_attributes : MLast.attribute list -> MLast.attribute list * MLast.attribute list
type unpacked_t = {
  1. full_t : MLast.ctyp;
  2. attrs : MLast.attribute list;
  3. bare_t : MLast.ctyp;
  4. unapp_t : MLast.ctyp;
  5. args : MLast.ctyp list;
  6. li : MLast.longid;
  7. lid : string;
  8. sl : string list;
  9. loc : Ploc.t;
  10. self_import : bool;
}
val unpack_imported_type : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.ctyp -> unpacked_t
val import_type : Pa_ppx_base.Pa_passthru.Ctxt.t -> ('a * 'b) -> MLast.ctyp -> MLast.ctyp
val rewrite_import : MLast.str_item -> MLast.str_item
val registered_str_item_extension : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.str_item -> MLast.str_item
val registered_sig_item_extension : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.sig_item -> MLast.sig_item
val registered_module_type_extension : 'a -> MLast.module_type -> MLast.module_type option
val install : unit -> unit
OCaml

Innovation. Community. Security.