package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

Dune Dependency

github.com Readme Edit opam file Versions (9)

Authors

Maintainers

K

Kakadu@pm.me

Sources

0.5.2.tar.gz

md5=9d18b96ada4d18fdda0b5f5698273145

sha512=945070bea4322bf8f7932a259af91432a3c109a05294ba2a27c1c2e9d2796ffb4cc32f6b8e28ff465311277696296ddda531a2ce818e590c09c64c5721d65e19

doc/compare/Compare/Make/argument-1-AstHelpers/Typ/index.html

Module `AstHelpers.Typ`

type t

val from_caml : Ppxlib.core_type -> t

val use_tdecl : Ppxlib.type_declaration -> t

val of_type_arg : loc:loc -> type_arg -> t

val of_longident : loc:loc -> Ppxlib.longident -> t

val access2 : loc:loc -> string -> string -> t

val sprintf : loc:loc -> ('a, unit, string, t) format4 -> 'a

val ident : loc:loc -> string -> t

val var : loc:loc -> string -> t

val any : loc:loc -> t

val unit : loc:loc -> t

val string : loc:loc -> t

val constr : loc:loc -> Ppxlib.longident -> t list -> t

val pair : loc:loc -> t -> t -> t

val tuple : loc:loc -> t list -> t

val class_ : loc:loc -> Ppxlib.longident -> t list -> t

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

val arrow : loc:loc -> t -> t -> t

val chain_arrow : loc:loc -> t list -> t

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

val variant_of_t : loc:loc -> t -> t

val alias : loc:loc -> t -> string -> t

val poly : loc:loc -> string list -> t -> t

val map : onvar:(string -> t option) -> t -> t

val openize : loc:loc -> ?as_:string -> t -> t

val to_type_arg_exn : t -> type_arg

val to_type_arg : t -> type_arg option