aver/
lib.rs

1// `Value` carries `OnceLock<…>` (typed-AST stamps + per-arm pattern
2// binding slots) deep in its substructure, which is interior mutability
3// — but those cells are write-once and never reach the hash code path,
4// so HashMap<Value, …> is safe in practice. Silence the clippy lint at
5// the crate level rather than papering over every `HashMap::new()` site.
6#![allow(clippy::mutable_key_type)]
7
8extern crate self as aver;
9
10pub mod analysis;
11pub mod ast;
12pub mod ast_rewrite;
13#[cfg(feature = "runtime")]
14pub mod bench;
15pub mod call_graph;
16pub mod checker;
17pub mod codegen;
18#[cfg(feature = "runtime")]
19pub mod config;
20pub mod diagnostics;
21pub mod effects;
22#[cfg(all(feature = "runtime", feature = "tty-render"))]
23#[allow(dead_code)]
24#[path = "main/format_cmd.rs"]
25pub mod format;
26pub mod ir;
27pub mod lexer;
28pub mod nan_value;
29pub mod parser;
30#[cfg(any(feature = "wasm-compile", feature = "playground"))]
31pub mod playground;
32#[cfg(feature = "runtime")]
33pub mod replay;
34pub mod resolver;
35#[cfg(feature = "runtime")]
36pub mod runtime;
37#[cfg(feature = "runtime")]
38pub mod runtime_bench_cases;
39pub mod scc;
40#[cfg(feature = "runtime")]
41pub mod services;
42pub mod source;
43pub mod tail_check;
44pub mod tco;
45#[cfg(feature = "tty-render")]
46pub mod tty_render;
47pub mod types;
48pub mod value;
49pub mod verify_law;
50pub mod visibility;
51#[cfg(feature = "runtime")]
52pub mod vm;
aver/lib.rs

aver/
lib.rs
