Module `Ppx.PpxHelpers`

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

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

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

type loc = Ppxlib.Location.t

val noloc : Ppxlib.Location.t

val loc_from_caml : 'a -> 'a

type type_arg = Ppxlib.core_type

val named_type_arg : 
  loc:Ppxlib__.Import.location ->
  string ->
  Ppxlib__.Import.core_type

val typ_arg_of_core_type : 'a -> 'a

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

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

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

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

type lab_decl = Ppxlib.label_declaration

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

type case = Ppxlib.case

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

module Pat : sig ... end

val use_new_type : 
  loc:Ppxlib__.Import.location ->
  string ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

module Exp : sig ... end

module Typ : sig ... end

type nonrec class_declaration = Ppxlib.class_declaration

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

type nonrec type_kind =

| Ptype_abstract
| Ptype_record of lab_decl Base.list

type nonrec type_declaration = Ppxlib.type_declaration

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

module Str : sig ... end

module Me : sig ... end

module Mt : sig ... end

type nonrec module_declaration = Ppxlib.module_declaration

type nonrec module_type_declaration = Ppxlib.module_type_declaration

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

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

module Sig : sig ... end

module WC : sig ... end

module Vb : sig ... end

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

module Cf : sig ... end

module Ctf : sig ... end

module Cty : sig ... end

module Cl : sig ... end

type class_structure = Ppxlib.class_structure

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

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

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

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

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

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

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

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx/Ppx/PpxHelpers/index.html

Module `Ppx.PpxHelpers`

package GT

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx/Ppx/PpxHelpers/index.html

Module Ppx.PpxHelpers

Module `Ppx.PpxHelpers`