package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

dune-project

Dependency

sha256=4b4d220fc64f2d508a77d229c61ec199308f4f6182c19543c96842749bb9ac3c

sha512=f295b48b23016743111867b746c97cfedccd6f32497a0a5df454fcd7f66338404604fbdfaad44210f34b56a4aca0a3f96de5cc6427191468a567128850d380c4

type t = MLast.ctyp

val of_longident : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.ctyp

val sprintf : 
  loc:MLast.loc ->
  ('a, unit, string, MLast.ctyp) Stdlib.format4 ->
  'a

val ident : loc:MLast.loc -> string -> MLast.ctyp

val string : loc:MLast.loc -> MLast.ctyp

val unit : loc:MLast.loc -> MLast.ctyp

val pair : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp

val access2 : loc:MLast.loc -> string -> string -> MLast.ctyp

val var : loc:MLast.loc -> string -> MLast.ctyp

val app : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp

val any : loc:MLast.loc -> MLast.ctyp

val alias : loc:MLast.loc -> MLast.ctyp -> string -> MLast.ctyp

val tuple : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp

val constr : 
  loc:MLast.loc ->
  Ppxlib.Longident.t ->
  MLast.ctyp list ->
  MLast.ctyp

val class_ : loc:MLast.loc -> Longident.t -> MLast.ctyp list -> MLast.ctyp

val of_type_arg : loc:MLast.loc -> (string option Ploc.vala * 'a) -> MLast.ctyp

val object_ : 
  loc:MLast.loc ->
  Ppxlib.closed_flag ->
  (string * MLast.ctyp) list ->
  MLast.ctyp

val arrow : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp

val chain_arrow : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp

val from_caml : Ppxlib.core_type -> MLast.ctyp

val variant : 
  loc:MLast.loc ->
  ?is_open:bool ->
  Ppxlib.row_field list ->
  MLast.ctyp

val variant_of_t : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp

val openize : loc:MLast.loc -> ?as_:string -> MLast.ctyp -> MLast.ctyp

val use_tdecl : Ppxlib.type_declaration -> MLast.ctyp

val poly : loc:MLast.loc -> string list -> MLast.ctyp -> MLast.ctyp

val map : onvar:'a -> 'b -> 'b

val to_type_arg : MLast.ctyp -> type_arg option

val to_type_arg_exn : MLast.ctyp -> type_arg