Module Pa_type_conv.Gen

module Gen: sig .. end

val regular_constr_of_revised_constr : string -> string

val exApp_of_list : Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr

expr_app_of_list l takes list l of expressions e1; e2; e3; ... and returns the expression e1 e2 e3. C.f.: Ast.exSem_of_list.

val tyArr_of_list : Camlp4.PreCast.Ast.ctyp list -> Camlp4.PreCast.Ast.ctyp

tyArr_of_list l takes list l of types e1; e2; e3; ... and returns the type e1 e2 e3. C.f.: Ast.exSem_of_list.

val paOr_of_list : Camlp4.PreCast.Ast.patt list -> Camlp4.PreCast.Ast.patt

paOr_of_list l takes list l of patterns p1; p2; p3; ... and returns the pattern p1 | p2 | p3 | ...

val gensym : ?prefix:string -> unit -> string

gensym ?prefix () generates a fresh variable name with prefix. When used with the default parameters, it will return: _x__001, _x__002, _x__003, ...

prefix : default = "_x"

val error : Camlp4.PreCast.Ast.ctyp -> fn:string -> msg:string -> 'a

error tp ~fn ~msg raises an error with msg on type tp occuring in function fn.

val unknown_type : Camlp4.PreCast.Ast.ctyp -> string -> 'a

unknown_type tp fn type tp cannot be handled by function fn.

val ty_var_list_of_ctyp : Camlp4.PreCast.Ast.ctyp -> string list -> string list

ty_var_list_of_ctyp tp acc accumulates a list of type parameters contained in tp into acc as strings.

val get_rev_id_path : Camlp4.PreCast.Ast.ident -> string list -> string list

get_rev_id_path id acc takes an identifier.
Returns a reversed module path (list of strings) denoting this identifier, appending it to acc.

val ident_of_rev_path : Camlp4.PreCast.Ast.Loc.t -> string list -> Camlp4.PreCast.Ast.ident

ident_of_rev_path loc path takes a location loc and a reversed path rev_path to an identifier.
Returns identifier denoting the bound value.

val get_appl_path : Camlp4.PreCast.Ast.Loc.t ->
       Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ident

get_appl_path loc tp
Returns the identifier path associated with a polymorphic type.

val abstract : Camlp4.PreCast.Ast.Loc.t ->
       Camlp4.PreCast.Ast.patt list ->
       Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr

abstract loc patts body takes a location loc, a pattern list patts, and an expression body.
Returns a function expression that takes the patterns as arguments, and binds them in body.

val apply : Camlp4.PreCast.Ast.Loc.t ->
       Camlp4.PreCast.Ast.expr ->
       Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr

apply loc f_expr arg_exprs takes a location loc, an expression f_expr representing a function, and a list of argument expressions arg_exprs.
Returns an expression in which the function is applied to its arguments.

val switch_tp_def : alias:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
       sum:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
       record:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
       variants:(Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
       mani:(Camlp4.PreCast.Ast.Loc.t ->
             Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ctyp -> 'a) ->
       nil:(Camlp4.PreCast.Ast.Loc.t -> 'a) -> Camlp4.PreCast.Ast.ctyp -> 'a

switch_tp_def ~alias ~sum ~record ~variants ~mani tp_def takes a handler function for each kind of type definition and applies the appropriate handler when tp_def matches.

val mk_expr_lst : Camlp4.PreCast.Ast.Loc.t ->
       Camlp4.PreCast.Ast.expr list -> Camlp4.PreCast.Ast.expr

mk_expr_lst loc expr_list takes a list of expressions.
Returns an expression representing a list of expressions.

val mk_patt_lst : Camlp4.PreCast.Ast.Loc.t ->
       Camlp4.PreCast.Ast.patt list -> Camlp4.PreCast.Ast.patt

mk_patt_lst _loc patt_list takes a list of patterns.
Returns a pattern representing a list of patterns.

val get_tparam_id : Camlp4.PreCast.Ast.ctyp -> string

get_tparam_id tp
Raises Failure otherwise.
Returns the string identifier associated with tp if it is a type parameter.

val type_is_recursive : ?stop_on_functions:bool ->
       ?short_circuit:(Camlp4.PreCast.Ast.ctyp -> bool option) ->
       string -> Camlp4.PreCast.Ast.ctyp -> bool

type_is_recursive ?short_circuit id tp
Returns whether the type tp with name id refers to itself, assuming that it is not mutually recursive with another type.

stop_on_functions : allows to disregard the recursive occurences appearing in arrow types. The default is to disregard them.

short_circuit : allows you to override the search for certain type expressions.

val drop_variance_annotations : Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ctyp

drop_variance_annotations tp
Returns the type resulting from dropping all variance annotations in tp.

val find_record_default : Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.expr option

find_record_default loc
Returns the optional default expression associated with the record field at source location loc if defined.

val delay_sig_item : Camlp4.PreCast.Ast.sig_item -> unit

delay_sig_item item places item at the end of the current signature