package GT

  1. Overview
  2. Docs
Generic programming with extensible transformations

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (9)

Authors

  1. H
    https://github.com/dboulytchev
  2. H
    https://github.com/Kakadu

Maintainers

  1. K
    kakadu@pm.me

Sources

v0.4.1.tar.gz
sha256=15924a175fcaaa57286853e8129159a0ce207f31b33f83d7f8aa436da1e17519
sha512=03d32a6b745b2ae04f4cd434b13c614acd66dfa7cb90c748c951b92bf517a9de7cc870f49bf31d94112f4b6efc019b1258d47b0177adfb664b1f22ff2375ae91

doc/ppx/Ppx/PpxHelpers/index.html

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 =
  1. | Ptype_abstract
  2. | 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