package pa_ppx

  1. Overview
  2. Docs
package pa_ppx
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug : bool Stdlib.ref
val mli_only : bool Stdlib.ref
val redeclare : bool Stdlib.ref
val predicates : string list Stdlib.ref
val lookup_path : string list Stdlib.ref
val reset_switches : unit -> unit
val add_predicates : string -> unit
val add_package : string -> unit
val add_include : string -> unit
val pp_report : Stdlib.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 expand_add_attribute : Pa_ppx_base.Pa_passthru.Ctxt.t -> Pa_ppx_base.Pp_MLast.attribute -> MLast.type_decl list
val import_typedecl_group : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.ctyp -> MLast.attributes_no_anti -> bool * MLast.type_decl list
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.

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