Crate yulang_monomorphize 

Runtime finalization for Yulang.

The active rewrite starts from a fresh type graph. A polymorphic principal type is first instantiated into that graph, then expression evidence is collected as lower/upper bounds. Solving prefers lower bounds and returns a fully materializable monomorphic view of the graph.

Structs

CachedMonomorphizeInstance

GraphSolution

MonomorphizeInstanceArtifactCache

MonomorphizeInstanceArtifactCacheKey

MonomorphizeInstanceCache

MonomorphizeInstanceCachePolicy

MonomorphizeInstanceCacheProfile

MonomorphizeInstanceCacheSurface

MonomorphizeInstanceKey

MonomorphizeOutput

MonomorphizeReport

PrincipalInstance

PrincipalTypeParam

ResolvedTypeVar

RootGraphInput

RootGraphSolution

RuntimeBounds

TypeGraph

TypeVarBounds

Enums

MonomorphizeDiagnostic

MonomorphizeError

MonomorphizeInstanceArtifactCacheError

RootGraphRoot

Constants

MONOMORPHIZE_INSTANCE_CACHE_FORMAT_VERSION

Functions

collect_root_graph_inputs

finalize_module

finalize_module_with_cache

materialize_core_type

materialize_runtime_type

monomorphize_module

monomorphize_module_with_report

monomorphize_to_legacy_runtime_module

Type Aliases

MonomorphizeResult