1Ast_helper.Typ(3) OCamldoc Ast_helper.Typ(3)
2
3
4
6 Ast_helper.Typ - Type expressions
7
9 Module Ast_helper.Typ
10
12 Module Typ
13 : sig end
14
15
16 Type expressions
17
18
19
20
21
22
23 val mk : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse‐
24 tree.core_type_desc -> Parsetree.core_type
25
26
27
28
29 val attr : Parsetree.core_type -> Parsetree.attribute -> Parse‐
30 tree.core_type
31
32
33
34
35 val any : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> unit ->
36 Parsetree.core_type
37
38
39
40
41 val var : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> string ->
42 Parsetree.core_type
43
44
45
46
47 val arrow : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast‐
48 types.arg_label -> Parsetree.core_type -> Parsetree.core_type -> Parse‐
49 tree.core_type
50
51
52
53
54 val tuple : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse‐
55 tree.core_type list -> Parsetree.core_type
56
57
58
59
60 val constr : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
61 Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type
62
63
64
65
66 val object_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
67 (Ast_helper.str * Parsetree.attributes * Parsetree.core_type) list ->
68 Asttypes.closed_flag -> Parsetree.core_type
69
70
71
72
73 val class_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
74 Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type
75
76
77
78
79 val alias : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse‐
80 tree.core_type -> string -> Parsetree.core_type
81
82
83
84
85 val variant : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse‐
86 tree.row_field list -> Asttypes.closed_flag -> Asttypes.label list
87 option -> Parsetree.core_type
88
89
90
91
92 val poly : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
93 Ast_helper.str list -> Parsetree.core_type -> Parsetree.core_type
94
95
96
97
98 val package : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
99 Ast_helper.lid -> (Ast_helper.lid * Parsetree.core_type) list -> Parse‐
100 tree.core_type
101
102
103
104
105 val extension : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
106 Parsetree.extension -> Parsetree.core_type
107
108
109
110
111 val force_poly : Parsetree.core_type -> Parsetree.core_type
112
113
114
115
116 val varify_constructors : Ast_helper.str list -> Parsetree.core_type ->
117 Parsetree.core_type
118
119
120 varify_constructors newtypes te is type expression te , of which any of
121 nullary type constructor tc is replaced by type variable of the same
122 name, if tc 's name appears in newtypes . Raise Syntaxerr.Vari‐
123 able_in_scope if any type variable inside te appears in newtypes .
124
125
126 Since 4.05
127
128
129
130
131
1322018-04-14 source: Ast_helper.Typ(3)