gen-types 0.1.1

gen — typed IR for the universal package-manager → build-system engine. One typed Manifest / Package / Dependency / Feature / Constraint / Lockfile / Workspace / BuildStep / Derivation shape that every ecosystem reduces to. Foundation crate; the only thing every adapter + renderer + cache backend depends on. See theory/GEN.md for the full design.
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

//! gen-types — typed IR for the universal package-manager → build-
//! system engine.
//!
//! Foundation crate. Every adapter (gen-cargo, gen-npm, gen-bundler,
//! gen-pip, gen-gomod, gen-helm, …) emits this shape; every renderer
//! (gen-nix-incremental, gen-nix-bulk, gen-bazel, …) consumes it;
//! every cache backend (gen-cache-attic, gen-cache-cachix, …) keys
//! on it.
//!
//! See `theory/GEN.md` for the full design — why universal lifting,
//! the 80/20 split, the trait architecture, the milestone plan.
//!
//! ## Shape
//!
//! ```text
//! Manifest (1)
//!   └─ packages: Vec<Package>             (one per crate / gem / wheel / etc.)
//!         ├─ source: PackageSource        (Registry | Git | Path | Local)
//!         ├─ dependencies: Vec<Dependency>
//!         │     ├─ constraint: VersionConstraint
//!         │     ├─ kind: DependencyKind   (Direct | Build | Dev | Optional | Peer)
//!         │     ├─ features_enabled: Vec<String>
//!         │     └─ target_predicate: Option<TargetPredicate>
//!         ├─ features: Vec<Feature>
//!         └─ build_steps: Vec<BuildStep>
//!   └─ lockfile: Option<Lockfile>
//! ```
//!
//! Every adapter is a thin Manifest-producer; every renderer is a
//! thin Manifest-to-Derivation translator. The trait surface stays
//! narrow.

#![allow(clippy::module_name_repetitions)]

pub mod adapter;
pub mod dispatcher;
pub mod ecosystem;
pub mod lock_lifecycle;
pub mod constraint;
pub mod dependency;
pub mod derivation;
pub mod feature;
pub mod lockfile;
pub mod manifest;
pub mod package;
pub mod registry;
pub mod source;
pub mod target;
pub mod version;
pub mod workspace;

pub use adapter::{
    adapter_by_name, registered_adapter_names, registered_adapters, Adapter, AdapterCtx,
    AdapterError, AdapterQuirkEntry, AdapterRegistration, AdapterResult,
    BuildSpec as AdapterBuildSpec, ConfirmReport, DepChange, DepEdge, DependencyBump,
    DispatcherVariant, DiffRef,
    DiffReport, InvariantBreak, LockOutcome, Plan, PlanIntent, PlanWarning, PlanWarningSeverity,
    Sbom, SbomFormat,
};
pub use dispatcher::TypedDispatcher;
pub use lock_lifecycle::{LockError, LockLifecyclePrimitive};
pub use ecosystem::{Invariants, QuirkRegistry, Spec};
pub use constraint::{Combinator, CompoundConstraint, ConstraintSpec, VersionConstraint};
pub use dependency::{Dependency, DependencyKind};
pub use derivation::{BuildCommand, BuildScript, BuildStep, BuildStepKind, Derivation, DerivationRef};
pub use feature::{Feature, FeatureRef};
pub use lockfile::{ContentHash, Lockfile, ResolvedPackage};
pub use manifest::Manifest;
pub use package::{Package, PackageId};
pub use registry::Registry;
pub use source::PackageSource;
pub use target::{CompoundTargetPredicate, PredicateCombinator, Target, TargetPredicate};
pub use version::Version;
pub use workspace::Workspace;