1Ast_helper.Typ(3)                  OCamldoc                  Ast_helper.Typ(3)
2
3
4

NAME

6       Ast_helper.Typ - Type expressions
7

Module

9       Module   Ast_helper.Typ
10

Documentation

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)