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

v0.4.2.tar.gz
sha256=d23fb8e20ca28ec9ae07feee45b39aee8fb87ab11ec55211e2365f2c5a1c4ccf
sha512=0ade04e78a4d8e24acf24d3e4cdf358532d68284fa8e801b25bdf21c3c0483bb97d1350e86abcf9f93efec870b07f0f067a5dccae81686b14265baab3a4e7c13

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