Module Ast_helper.TypSource
Type expressions
Source
val any :
?loc:loc ->
?attrs:attrs ->
Parsetree.jkind_annotation option ->
Parsetree.core_typeSource
val var :
?loc:loc ->
?attrs:attrs ->
string ->
Parsetree.jkind_annotation option ->
Parsetree.core_typeSource
val arrow :
?loc:loc ->
?attrs:attrs ->
Parsetree.arg_label ->
Parsetree.core_type ->
Parsetree.core_type ->
Parsetree.mode with_loc list ->
Parsetree.mode with_loc list ->
Parsetree.core_typeSource
val tuple :
?loc:loc ->
?attrs:attrs ->
(string option * Parsetree.core_type) list ->
Parsetree.core_typeSource
val unboxed_tuple :
?loc:loc ->
?attrs:attrs ->
(string option * Parsetree.core_type) list ->
Parsetree.core_typeSource
val constr :
?loc:loc ->
?attrs:attrs ->
lid ->
Parsetree.core_type list ->
Parsetree.core_typeSource
val object_ :
?loc:loc ->
?attrs:attrs ->
Parsetree.object_field list ->
Asttypes.closed_flag ->
Parsetree.core_typeSource
val class_ :
?loc:loc ->
?attrs:attrs ->
lid ->
Parsetree.core_type list ->
Parsetree.core_typeSource
val alias :
?loc:loc ->
?attrs:attrs ->
Parsetree.core_type ->
string with_loc option ->
Parsetree.jkind_annotation option ->
Parsetree.core_typeSource
val variant :
?loc:loc ->
?attrs:attrs ->
Parsetree.row_field list ->
Asttypes.closed_flag ->
Asttypes.label list option ->
Parsetree.core_typeSource
val poly :
?loc:loc ->
?attrs:attrs ->
(str * Parsetree.jkind_annotation option) list ->
Parsetree.core_type ->
Parsetree.core_typeSource
val package :
?loc:loc ->
?attrs:attrs ->
lid ->
(lid * Parsetree.core_type) list ->
Parsetree.core_typeSource
val newlayout :
?loc:loc ->
?attrs:attrs ->
str list ->
Parsetree.core_type ->
Parsetree.core_typevarify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes. Used to translate type a. a -> a to 'a. 'a -> 'a during parsing.