package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=55f8249e780b9a1891d9d4bb5bf2f4f7fdc619a06d9f6f04961afe193cbaaac4

sha512=3a9422aafb7a4d22c484d03950603e7f05c10512ddeb7675fe5dce73f0ef8f3537eabad1d5ebfb99c6b2e952a6203c793a1cd9d62d2863cef31616a4256b99d2

type t

val of_tdecls : loc:loc -> Ppxlib.type_declaration -> t

val single_value : loc:loc -> Pat.t -> Exp.t -> t

val values : loc:loc -> ?rec_flag:Ppxlib.rec_flag -> Vb.t list -> t

val of_vb : loc:loc -> ?rec_flag:Ppxlib.rec_flag -> Vb.t -> t

val class_single : 
  loc:loc ->
  name:string ->
  ?virt:bool ->
  ?wrap:(Cl.t -> Cl.t) ->
  params:type_arg list ->
  Cf.t list ->
  t

val tdecl : loc:loc -> name:string -> params:string list -> Typ.t -> t

val tdecl_abstr : loc:loc -> string -> string option list -> t

val tdecl_record : 
  loc:loc ->
  name:string ->
  params:string list ->
  lab_decl list ->
  t

val of_class_declarations : loc:loc -> class_declaration list -> t

val simple_gadt : 
  loc:loc ->
  name:string ->
  params_count:int ->
  (string * Typ.t) list ->
  t

val module_ : loc:loc -> string -> Me.t -> t

val modtype : loc:loc -> module_type_declaration -> t

val include_ : loc:loc -> Me.t -> t