yulang-monomorphize 0.1.1

Monomorphization (type graph finalization) pass for Yulang
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

//! 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.

mod cache;
mod diagnostic;
mod graph;
mod output;
mod solver;

pub use cache::{
    CachedMonomorphizeInstance, MONOMORPHIZE_INSTANCE_CACHE_FORMAT_VERSION,
    MonomorphizeInstanceArtifactCache, MonomorphizeInstanceArtifactCacheError,
    MonomorphizeInstanceArtifactCacheKey, MonomorphizeInstanceCache,
    MonomorphizeInstanceCachePolicy, MonomorphizeInstanceCacheProfile,
    MonomorphizeInstanceCacheSurface, MonomorphizeInstanceKey,
};
pub use diagnostic::{MonomorphizeDiagnostic, MonomorphizeError, MonomorphizeResult};
pub use graph::ResolvedTypeVar;
pub use graph::{
    GraphSolution, PrincipalInstance, PrincipalTypeParam, RuntimeBounds, TypeGraph, TypeVarBounds,
    materialize_core_type, materialize_runtime_type,
};
pub use output::{
    MonomorphizeOutput, MonomorphizeReport, RootGraphInput, RootGraphRoot, RootGraphSolution,
};
pub use solver::{
    collect_root_graph_inputs, finalize_module, finalize_module_with_cache, monomorphize_module,
    monomorphize_module_with_report, monomorphize_to_legacy_runtime_module,
};