hyperlight_component_util/lib.rs
1// SPDX-License-Identifier: Apache-2.0
2// Copyright 2025 The Hyperlight Authors.
3
4// This, unlike the rest of hyperlight, isn't really a library (since
5// it's only used by our own build-time tools), so the reasons not to
6// panic don't really apply.
7#![allow(clippy::unwrap_used)]
8// "Needless" lifetimes are useful for clarity
9#![allow(clippy::needless_lifetimes)]
10
11// Typechecking and elaboration
12pub mod component;
13pub mod elaborate;
14pub mod etypes;
15pub mod structure;
16pub mod substitute;
17pub mod subtype;
18pub mod tv;
19pub mod wf;
20
21// Generally useful for code emit
22pub mod emit;
23pub mod hl;
24pub mod resource;
25pub mod rtypes;
26pub mod util;
27
28// Specific code emit
29pub mod guest;
30pub mod host;