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

GT-v0.5.3.tbz

sha256=55f8249e780b9a1891d9d4bb5bf2f4f7fdc619a06d9f6f04961afe193cbaaac4

sha512=3a9422aafb7a4d22c484d03950603e7f05c10512ddeb7675fe5dce73f0ef8f3537eabad1d5ebfb99c6b2e952a6203c793a1cd9d62d2863cef31616a4256b99d2

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

Parameter `Make.AstHelpers`

type loc

type class_structure

type case

type class_declaration

type lab_decl

type module_declaration

type module_type_declaration

type type_arg

val loc_from_caml : Ppxlib.location -> loc

val noloc : loc

val named_type_arg : loc:loc -> string -> type_arg

val typ_arg_of_core_type : Ppxlib.core_type -> type_arg

module Pat : sig ... end

for Pat

module Exp : sig ... end

module Typ : sig ... end

module Cf : sig ... end

module Cty : sig ... end

module Ctf : sig ... end

module Str : sig ... end

module Sig : sig ... end

module Me : sig ... end

module Mt : sig ... end

module WC : sig ... end

module Cl : sig ... end

module Vb : sig ... end

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

val value_binding : loc:loc -> pat:Pat.t -> expr:Exp.t -> Vb.t

val case : lhs:Pat.t -> rhs:Exp.t -> case

val class_structure : self:Pat.t -> fields:Cf.t list -> class_structure

val lab_decl : loc:loc -> string -> bool -> Typ.t -> lab_decl

val module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration

val module_type_declaration : 
  loc:loc ->
  name:string ->
  Mt.t option ->
  module_type_declaration

val use_new_type : loc:loc -> string -> Exp.t -> Exp.t

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

val prepare_param_triples : 
  loc:loc ->
  extra:Typ.t ->
  ?inh:(loc:loc -> string -> Typ.t) ->
  ?syn:(loc:loc -> string -> Typ.t) ->
  ?default_inh:Typ.t ->
  ?default_syn:Typ.t ->
  string list ->
  Typ.t list

val typ_vars_of_typ : Typ.t -> string list