Class TypeCore.map

class ['env] map : object .. end

Inherits

method tyunknown : 'env -> typ

The case methods now perform a recursive traversal.

method tydynamic : 'env -> typ

method tybound : 'env -> db_index -> typ

method tyopen : 'env -> var -> typ

method tyq : 'env ->
       quantifier ->
       type_binding -> flavor -> typ -> typ

method tyapp : 'env -> typ -> typ list -> typ

method tytuple : 'env -> typ list -> typ

method tyconcrete : 'env -> branch -> typ

method tysingleton : 'env -> typ -> typ

method tyarrow : 'env -> typ -> typ -> typ

method tybar : 'env -> typ -> typ -> typ

method tyanchoredpermission : 'env -> typ -> typ -> typ

method tyempty : 'env -> typ

method tystar : 'env -> typ -> typ -> typ

method tyand : 'env -> mode_constraint -> typ -> typ

method branch : 'env -> branch -> branch

An auxiliary method for transforming a branch.

An auxiliary method for transforming a resolved data constructor.

method resolved_datacon : 'env -> resolved_datacon -> resolved_datacon

An auxiliary method for transforming a field.

method field : 'env -> data_field_def -> data_field_def

An auxiliary method for transforming a data type group.

method data_type_group : 'env -> data_type_group -> data_type_group