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.hafanana@gmail.com

Sources

v0.3.0.zip
sha256=58aa091948383ffa6c452b89880becae980ae32cc3a4969fe1c636e46810db69
sha512=ee878ba4c2ee16f5b77f4b4e98664d53e91b7a710b9162905b9a43118a03e9c0d7b378a13e104e16a84556bca1176026d93f11934d69eecb459b771e9340ffd7

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.Asttypes.variance) 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 : ?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__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_expr -> Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_expr) -> params: Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.core_type GTCommon.HelpersBase.List.t -> Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_field list -> Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.Parsetree.class_expr Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.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:Migrate_parsetree__Migrate_parsetree_versions.OCaml_408.Ast.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