Module Ppx_type_conv.Type_conv.Args

Specification of generator arguments

type ('a, 'b) t
type 'a param
val empty : ('m, 'm) t
val arg : Ppx_core.string ‑> (Ppx_core.expression, 'a ‑> 'a Ppx_core.option, 'a Ppx_core.option) Ppx_core.Ast_pattern.t ‑> 'a Ppx_core.option param
val flag : Ppx_core.string ‑> Ppx_core.bool param

Flag matches punned labelled argument, i.e. of the form ~foo. It returns true iff the argument is present.

val (+>) : ('m1, 'a ‑> 'm2) t ‑> 'a param ‑> ('m1, 'm2) t

For convenience, so that one can write the following without having to open both Ast_pattern and Type_conv.Args:


        Type_conv.Args.(empty
                        +> arg_option "foo" (estring __)
                        +> arg_option "bar" (pack2 (eint __ ** eint __))
                        +> flag "dotdotdot"
                       )
include module type of sig ... end with type (a, b, c) t := (a, b, c) Ppx_core.Ast_pattern.t
type ('a, 'b, 'c) t = ('a, 'b, 'c) Ppx_core__.Ast_pattern0.t
val parse : ('a, 'b, 'c) t ‑> Ppx_core.Location.t ‑> 'a ‑> 'b ‑> 'c
val __ : ('a, 'a ‑> 'b, 'b) t
val __' : ('a, 'a Ppx_core.Loc.t ‑> 'b, 'b) t
val alt : ('a, 'b, 'c) t ‑> ('a, 'b, 'c) t ‑> ('a, 'b, 'c) t
val alt_option : ('a, 'v ‑> 'b, 'c) t ‑> ('a, 'b, 'c) t ‑> ('a, 'v Ppx_core__.Import.option ‑> 'b, 'c) t
val (|||) : ('a, 'b, 'c) t ‑> ('a, 'b, 'c) t ‑> ('a, 'b, 'c) t
val map : ('a, 'b, 'c) t ‑> f:('d ‑> 'b) ‑> ('a, 'd, 'c) t
val map' : ('a, 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'd ‑> 'b) ‑> ('a, 'd, 'c) t
val map_result : ('a, 'b, 'c) t ‑> f:('c ‑> 'd) ‑> ('a, 'b, 'd) t
val (>>|) : ('a, 'b, 'c) t ‑> ('d ‑> 'b) ‑> ('a, 'd, 'c) t
val map0 : ('a, 'b, 'c) t ‑> f:'v ‑> ('a, 'v ‑> 'b, 'c) t
val map1 : ('a, 'v1 ‑> 'b, 'c) t ‑> f:('v1 ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val map2 : ('a, 'v1 ‑> 'v2 ‑> 'b, 'c) t ‑> f:('v1 ‑> 'v2 ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val map0' : ('a, 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val map1' : ('a, 'v1 ‑> 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'v1 ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val map2' : ('a, 'v1 ‑> 'v2 ‑> 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'v1 ‑> 'v2 ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val nil : ('b Ppx_core__.Import.list, 'a, 'a) t
val (^::) : ('a, 'b, 'c) t ‑> ('a Ppx_core__.Import.list, 'c, 'd) t ‑> ('a Ppx_core__.Import.list, 'b, 'd) t
val many : ('a, 'b ‑> 'b, 'c) t ‑> ('a Ppx_core__.Import.list, 'c Ppx_core__.Import.list ‑> 'd, 'd) t
val int : Ppx_core__.Import.int ‑> (Ppx_core__.Import.int, 'a, 'a) t
val char : Ppx_core__.Import.char ‑> (Ppx_core__.Import.char, 'a, 'a) t
val string : Ppx_core__.Import.string ‑> (Ppx_core__.Import.string, 'a, 'a) t
val float : Ppx_core__.Import.float ‑> (Ppx_core__.Import.float, 'a, 'a) t
val int32 : Ppx_core__.Import.int32 ‑> (Ppx_core__.Import.int32, 'a, 'a) t
val int64 : Ppx_core__.Import.int64 ‑> (Ppx_core__.Import.int64, 'a, 'a) t
val bool : Ppx_core__.Import.bool ‑> (Ppx_core__.Import.bool, 'a, 'a) t
val cst : to_string:('a ‑> Ppx_core__.Import.string) ‑> ?equal:('a ‑> 'a ‑> Ppx_core__.Import.bool) ‑> 'a ‑> ('a, 'b, 'b) t
val none : ('b Ppx_core__.Import.option, 'a, 'a) t
val some : ('a, 'b, 'c) t ‑> ('a Ppx_core__.Import.option, 'b, 'c) t
val pair : ('a1, 'b, 'c) t ‑> ('a2, 'c, 'd) t ‑> ('a1 * 'a2, 'b, 'd) t
val (**) : ('a1, 'b, 'c) t ‑> ('a2, 'c, 'd) t ‑> ('a1 * 'a2, 'b, 'd) t
val triple : ('a1, 'b, 'c) t ‑> ('a2, 'c, 'd) t ‑> ('a3, 'd, 'e) t ‑> ('a1 * 'a2 * 'a3, 'b, 'e) t
val loc : ('a, 'b, 'c) t ‑> ('a Ppx_core.Loc.t, 'b, 'c) t
val pack0 : ('a, 'b, 'c) t ‑> ('a, Ppx_core__.Import.unit ‑> 'b, 'c) t
val pack2 : ('a, 'b ‑> 'c ‑> 'd, 'e) t ‑> ('a, ('b * 'c) ‑> 'd, 'e) t
val pack3 : ('a, 'b ‑> 'c ‑> 'd ‑> 'e, 'f) t ‑> ('a, ('b * 'c * 'd) ‑> 'e, 'f) t
val labelled : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t
val optional : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t
val open_ : (Ppx_core__.Import.closed_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pconst_integer : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pconst_char : (char, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pconst_string : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (string option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pconst_float : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_var : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val downto_ : (Ppx_core__.Import.direction_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pdir_string : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pdir_int : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_unreachable : (Ppx_core__.Import.expression, 'a, 'a) Ppx_core__.Ast_pattern0.t
val include_infos : mod_:('a, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> ('a Ppx_core__.Import.include_infos, 'b, 'c) Ppx_core__.Ast_pattern0.t
val lident : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t
val module_binding : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> expr:(Ppx_core__.Import.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_type_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val mutable_ : (Ppx_core__.Import.mutable_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ppat_var : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_unpack : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val position : fname:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> lnum:(int, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> bol:(int, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> cnum:(int, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.position, 'a, 'e) Ppx_core__.Ast_pattern0.t
val private_ : (Ppx_core__.Import.private_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ptype_abstract : (Ppx_core__.Import.type_kind, 'a, 'a) Ppx_core__.Ast_pattern0.t
val value_description : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> prim:(string list, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_description, 'a, 'd) Ppx_core__.Ast_pattern0.t
val contravariant : (Ppx_core__.Import.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val virtual_ : (Ppx_core__.Import.virtual_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val true_ : (Ppx_core__.Import.bool, 'a, 'a) t
val false_ : (Ppx_core__.Import.bool, 'a, 'a) t
val eint : (Ppx_core__.Import.int, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val echar : (Ppx_core__.Import.char, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val estring : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val efloat : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val eint32 : (Ppx_core__.Import.int32, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val eint64 : (Ppx_core__.Import.int64, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val enativeint : (Ppx_core__.Import.nativeint, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val pint : (Ppx_core__.Import.int, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pchar : (Ppx_core__.Import.char, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pstring : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pfloat : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pint32 : (Ppx_core__.Import.int32, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pint64 : (Ppx_core__.Import.int64, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pnativeint : (Ppx_core__.Import.nativeint, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val single_expr_payload : (Ppx_core__.Import.expression, 'a, 'b) t ‑> (Ppx_core__.Import.payload, 'a, 'b) t
val no_label : (Ppx_core__.Import.expression, 'a, 'b) t ‑> (Ppx_core__.Import.Asttypes.arg_label * Ppx_core__.Import.expression, 'a, 'b) t
val attribute : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.payload, 'b, 'c) t ‑> (Ppx_core__.Import.attribute, 'a, 'c) t
val extension : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.payload, 'b, 'c) t ‑> (Ppx_core__.Import.attribute, 'a, 'c) t
val of_func : (context ‑> Ppx_core.Location.t ‑> 'a ‑> 'b ‑> 'c) ‑> ('a, 'b, 'c) t
val to_func : ('a, 'b, 'c) t ‑> context ‑> Ppx_core.Location.t ‑> 'a ‑> 'b ‑> 'c