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

0.5.1.tar.gz
sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f
sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb

doc/GT.syntax/Pa_gt/Camlp5Helpers/index.html

Module Pa_gt.Camlp5HelpersSource

Sourcemodule Located : sig ... end
Sourcetype loc = Located.t
Sourceval loc_from_caml : Ppxlib.Location.t -> Ploc.t
Sourceval noloc : Ploc.t
Sourcetype type_arg = MLast.type_var
Sourceval named_type_arg : loc:'a -> string -> type_arg
Sourcetype lab_decl = loc * string * bool * MLast.ctyp
Sourceval lab_decl : loc:'a -> 'b -> 'c -> 'd -> 'a * 'b * 'c * 'd
Sourcetype case = MLast.patt * MLast.expr option * MLast.expr
Sourceval case : lhs:MLast.patt -> rhs:MLast.expr -> case
Sourceval sep_last : 'a list -> 'a * 'a list
Sourceval capitalized : string -> bool
Sourcemodule Longid : sig ... end
Sourcemodule Pat : sig ... end
Sourceval use_new_type : loc:MLast.loc -> string -> MLast.expr -> MLast.expr
Sourcemodule Exp : sig ... end
Sourcemodule Typ : sig ... end
Sourcetype type_declaration = MLast.type_decl
Sourcetype class_declaration = MLast.class_expr MLast.class_infos
Sourceval class_declaration : loc:MLast.loc -> name:string -> ?virt:bool -> ?wrap:(MLast.class_expr -> MLast.class_expr) -> params:MLast.type_var list -> MLast.class_str_item list -> MLast.class_expr MLast.class_infos
Sourcemodule Str : sig ... end
Sourcemodule Me : sig ... end
Sourcemodule Mt : sig ... end
Sourcetype module_declaration = loc * string * Mt.t
Sourceval module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration
Sourcetype module_type_declaration = loc * string * Mt.t option
Sourceval module_type_declaration : loc:loc -> name:string -> Mt.t option -> module_type_declaration
Sourcemodule Sig : sig ... end
Sourcemodule WC : sig ... end
Sourcemodule Vb : sig ... end
Sourceval value_binding : loc:'a -> pat:'b -> expr:'c -> 'b * 'c
Sourcemodule Cf : sig ... end
Sourcemodule Ctf : sig ... end
Sourcemodule Cty : sig ... end
Sourcemodule Cl : sig ... end
Sourceval class_structure : self:'a -> fields:'b -> 'a * 'b
Sourcetype class_structure = Pat.t * Cf.t list
Sourceval typ_arg_of_core_type : Ppxlib.core_type -> type_arg
Sourceval openize_poly : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp
Sourceval closize_poly : MLast.ctyp -> MLast.ctyp
Sourceval prepare_param_triples : loc:MLast.loc -> extra:MLast.ctyp -> ?inh:(loc:MLast.loc -> string -> MLast.ctyp) -> ?syn:(loc:MLast.loc -> string -> MLast.ctyp) -> ?default_inh:MLast.ctyp -> ?default_syn:MLast.ctyp -> string list -> MLast.ctyp list
Sourceval typ_vars_of_typ : MLast.ctyp -> Base.String.t Base.List.t