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.1.tar.gz

sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f

sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb

doc/eq/Eq/Make/argument-1-AstHelpers/Exp/index.html

Module `AstHelpers.Exp`

type t

val from_caml : Ppxlib.expression -> t

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

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

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

val access : loc:loc -> string -> string -> t

val unit : loc:loc -> t

val int_const : loc:loc -> int -> t

val string_const : loc:loc -> string -> t

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

val app : loc:loc -> t -> t -> t

val app_lab : loc:loc -> t -> string -> t -> t

val app_list : loc:loc -> t -> t list -> t

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

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

val fun_ : loc:loc -> Pat.t -> t -> t

val fun_list : loc:loc -> Pat.t list -> t -> t

val fun_list_l : loc:loc -> (string * t) list -> t -> t

val match_ : loc:loc -> t -> case list -> t

val object_ : loc:loc -> class_structure -> t

val record : loc:loc -> (Ppxlib.longident * t) list -> t

val send : loc:loc -> t -> string -> t

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

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

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

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

val let_one : loc:loc -> ?rec_:bool -> Pat.t -> t -> t -> t

val let_ : loc:loc -> ?rec_:bool -> (Pat.t * t) list -> t -> t

val assert_false : loc:loc -> t

val objmagic_unit : loc:loc -> t

val failwith_ : loc:loc -> string -> t

val true_ : loc:loc -> t

val false_ : loc:loc -> t

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

val constraint_ : loc:loc -> t -> Typ.t -> t