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

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/eval/Eval/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