Module `Ppx.PpxHelpers`Source

Sourceval (@@) : ('a -> 'b) -> 'a -> 'b

val nolabelize : 
  'a GTCommon.HelpersBase.List.t ->
  (Ppxlib.Asttypes.arg_label * 'a) GTCommon.HelpersBase.List.t

Source

val invariantize : 
  'a GTCommon.HelpersBase.List.t ->
  ('a * (Ppxlib.variance * Ppxlib.injectivity)) GTCommon.HelpersBase.List.t

Sourcetype loc = Ppxlib.Location.t

Sourceval noloc : Ppxlib.Location.t

Sourceval loc_from_caml : 'a -> 'a

Sourcetype type_arg = Ppxlib.core_type

Source

val named_type_arg : 
  loc:Ppxlib__.Location.t ->
  string ->
  Ppxlib__.Import.core_type

Sourceval typ_arg_of_core_type : 'a -> 'a

Sourceval lid : ?loc:Ppxlib.Location.t -> 'a -> 'a Ppxlib.loc

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

Source

val pexp_pair : 
  ?loc:Ppxlib.Location.t ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

Source

val const_string : 
  loc:Ppxlib.location ->
  ?wtf:string ->
  string ->
  Ppxlib.constant

Sourcetype lab_decl = Ppxlib.label_declaration

Source

val lab_decl : 
  loc:Ppxlib__.Location.t ->
  string ->
  bool ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.label_declaration

Sourcetype case = Ppxlib.case

Source

val case : 
  lhs:Ppxlib__.Import.pattern ->
  rhs:Ppxlib__.Import.expression ->
  Ppxlib__.Import.case

Sourcemodule Pat : sig ... end

Source

val use_new_type : 
  loc:Ppxlib__.Location.t ->
  string ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

Sourcemodule Exp : sig ... end

Sourcemodule Typ : sig ... end

Sourcetype nonrec class_declaration = Ppxlib.class_declaration

Source

val class_declaration : 
  loc:Ppxlib.location ->
  name:string ->
  ?virt:bool ->
  ?wrap:
    (Astlib.Ast_500.Parsetree.class_expr ->
      Astlib.Ast_500.Parsetree.class_expr) ->
  params:Astlib.Ast_500.Parsetree.core_type GTCommon.HelpersBase.List.t ->
  Astlib.Ast_500.Parsetree.class_field list ->
  Astlib.Ast_500.Parsetree.class_expr Astlib.Ast_500.Parsetree.class_infos

Sourcetype nonrec type_kind =

| Ptype_abstract
| Ptype_record of lab_decl Base.list

Sourcetype nonrec type_declaration = Ppxlib.type_declaration

Source

val type_declaration : 
  loc:Ppxlib__.Location.t ->
  name:string ->
  params:Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t ->
  manifest:Ppxlib__.Import.core_type option ->
  kind:type_kind ->
  Ppxlib__.Import.type_declaration

Sourcemodule Str : sig ... end

Sourcemodule Me : sig ... end

Sourcemodule Mt : sig ... end

Sourcetype nonrec module_declaration = Ppxlib.module_declaration

Sourcetype nonrec module_type_declaration = Ppxlib.module_type_declaration

Source

val module_declaration : 
  loc:Ppxlib__.Location.t ->
  name:string ->
  Ppxlib__.Import.module_type ->
  Ppxlib__.Import.module_declaration

Source

val module_type_declaration : 
  loc:Ppxlib__.Location.t ->
  name:string ->
  Ppxlib__.Import.module_type option ->
  Ppxlib__.Import.module_type_declaration

Sourcemodule Sig : sig ... end

Sourcemodule WC : sig ... end

Sourcemodule Vb : sig ... end

Source

val value_binding : 
  loc:Ppxlib__.Location.t ->
  pat:Ppxlib__.Import.pattern ->
  expr:Ppxlib__.Import.expression ->
  Ppxlib__.Import.value_binding

Sourcemodule Cf : sig ... end

Sourcemodule Ctf : sig ... end

Sourcemodule Cty : sig ... end

Sourcemodule Cl : sig ... end

Sourcetype class_structure = Ppxlib.class_structure

Source

val class_structure : 
  self:Ppxlib__.Import.pattern ->
  fields:Ppxlib__.Import.class_field list ->
  Ppxlib__.Import.class_structure

Source

val openize_helper : 
  is_open:bool ->
  loc:'a ->
  Ppxlib.Parsetree.core_type ->
  Ppxlib__.Import.core_type

Source

val openize_poly : 
  loc:'a ->
  Ppxlib.Parsetree.core_type ->
  Ppxlib__.Import.core_type

Source

val closize_poly : 
  loc:'a ->
  Ppxlib.Parsetree.core_type ->
  Ppxlib__.Import.core_type

Source

val map_type_param_names : 
  f:(string -> 'a) ->
  (Ppxlib.Parsetree.core_type * 'b) GTCommon.HelpersBase.List.t ->
  'a GTCommon.HelpersBase.List.t

Source

val prepare_param_triples : 
  loc:Astlib__.Location.t ->
  extra:Ppxlib__.Import.core_type ->
  ?inh:(loc:Ppxlib__.Location.t -> Base.String.t -> Ppxlib__.Import.core_type) ->
  ?syn:(loc:Ppxlib__.Location.t -> Base.String.t -> Ppxlib__.Import.core_type) ->
  ?default_inh:Ppxlib_ast.Ast.core_type ->
  ?default_syn:Ppxlib_ast.Ast.core_type ->
  Base.String.t list ->
  Ppxlib__.Import.core_type Base__List.t

Source

val inh_syn_ts : 
  ?loc:Ppxlib.Location.t ->
  unit ->
  Ppxlib_ast.Ast.core_type list

Source

val are_the_same : 
  Ppxlib.Parsetree.core_type ->
  Ppxlib.Parsetree.type_declaration ->
  bool

Source

val typ_vars_of_typ : 
  Ppxlib__.Import.Ast.core_type ->
  Base.String.t GTCommon.HelpersBase.List.t

package GT

Module Ppx.PpxHelpersSource

Module `Ppx.PpxHelpers`Source