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 tyforall : 'env ->
       type_binding -> flavor -> typ -> typ

method tyexists : 'env -> type_binding -> typ -> typ

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

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

method tyconcreteunfolded : 'env -> resolved_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 resolved_branch : 'env -> resolved_branch -> resolved_branch

An auxiliary method for transforming a resolved 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 an unresolved branch.

method unresolved_branch : 'env -> unresolved_branch -> unresolved_branch

An auxiliary method for transforming a data type group.

method data_type_group : 'env -> data_type_group -> data_type_group