Module migration 

Typed migration between concrete Morphir IR versions.

Structs

Migrated

MigrationContext

Mutable context shared by recursive typed migration operations.

MigrationDiagnostic

MigrationOptions

MigrationReport

Enums

Severity

V4Encoding

Traits

ValueAnnotation

The classic value attribute a v4 v4::ValueAttributes is built from.

Functions

migrate_access

migrate_distribution

migrate_fqname

migrate_literal

migrate_module_definition

migrate_module_specification

migrate_name

Migrates one Classic name, refusing a Classic name that has no v4 spelling.

migrate_package_specification

migrate_path

migrate_pattern

migrate_type

migrate_type_specification

migrate_value

migrate_value_definition