Module `Ppx_import`Source

Sourcemodule Tt : sig ... end

Sourceval lazy_env : Env.t lazy_t

Sourceval string_of_lid : Longident.t -> string

val try_find_module : 
  loc:Location.t ->
  Ocaml_common.Env.t ->
  Longident.t ->
  Types.module_type option

Source

val try_find_module_type : 
  loc:Location.t ->
  Ocaml_common.Env.t ->
  Longident.t ->
  Types.module_type option

Source

val try_open_module_type : 
  Ocaml_common.Env.t ->
  Types.module_type ->
  Types.signature option

Source

val open_module_type : 
  loc:Location.t ->
  Ocaml_common.Env.t ->
  Longident.t ->
  Types.module_type ->
  Types.signature

Source

val locate_sig : 
  loc:Location.t ->
  Ocaml_common.Env.t ->
  Ppxlib.Longident.t ->
  Types.signature

Source

val try_get_tsig_item : 
  ('a -> 'b -> 'c option) ->
  loc:'d ->
  'b list ->
  'a ->
  'c option

Source

val get_type_decl : 
  loc:'a ->
  Types.signature_item list ->
  Longident.t ->
  string ->
  Types.type_declaration

Source

val get_modtype_decl : 
  loc:'a ->
  Types.signature_item list ->
  Longident.t ->
  string ->
  Types.modtype_declaration

Sourceval longident_of_path : Path.t -> Longident.t

Sourceval mknoloc : 'a -> 'a Ppxlib.Location.loc

Source

val core_type_of_type_expr : 
  subst:([> `Lid of Longident.t | `Var of string ] * Ppxlib.core_type) list ->
  Ocaml_common.Types.type_expr ->
  Ppxlib.core_type

Source

val ptype_decl_of_ttype_decl : 
  manifest:Ppxlib.core_type option ->
  subst:([> `Lid of Longident.t | `Var of string ] * Ppxlib.core_type) list ->
  string Ppxlib.loc ->
  Ocaml_common.Types.type_declaration ->
  Ppxlib.type_declaration

Source

val subst_of_manifest : 
  Ppxlib.core_type ->
  ([> `Lid of Ppxlib.longident ] * Ppxlib.core_type) list

Sourceval uncapitalize : string -> string

Sourceval is_self_reference : input_name:string -> Ppxlib.longident -> bool

Source

val type_declaration : 
  tool_name:string ->
  input_name:string ->
  Ppxlib.type_declaration ->
  Ppxlib.type_declaration

Source

val cut_tsig_block_of_rec_types : 
  (Ident.t * Types.type_declaration) list ->
  Ppx_import__.Compat.signature_item_407 list ->
  (Ident.t * Types.type_declaration) list
  * Ppx_import__.Compat.signature_item_407 list

Source

val psig_of_tsig : 
  subst:([> `Lid of Longident.t | `Var of string ] * Ppxlib.core_type) list ->
  Ppx_import__.Compat.signature_item_407 list ->
  Ppxlib.signature_item list

Source

val module_type : 
  tool_name:string ->
  input_name:string ->
  Ppxlib.package_type ->
  Astlib.Ast_500.Parsetree.module_type

Source

val type_declaration_expand : 
  ctxt:Ppxlib.Expansion_context.Extension.t ->
  Ppxlib.type_declaration ->
  Ppxlib.type_declaration

Source

val module_declaration_expand : 
  ctxt:Ppxlib.Expansion_context.Extension.t ->
  Ppxlib.package_type ->
  Astlib.Ast_500.Parsetree.module_type

Sourceval type_declaration_extension : Ppxlib.Extension.t

Sourceval module_declaration_extension : Ppxlib.Extension.V3.t

Sourceval type_declaration_rule : Ppxlib.Context_free.Rule.t

Sourceval module_declaration_rule : Ppxlib.Context_free.Rule.t

package ppx_import

Module Ppx_importSource

Module `Ppx_import`Source