Skip to main content

aver/
lib.rs

1extern crate self as aver;
2
3pub mod ast;
4pub mod ast_rewrite;
5#[cfg(feature = "runtime")]
6pub mod bench;
7pub mod call_graph;
8pub mod checker;
9pub mod codegen;
10#[cfg(feature = "runtime")]
11pub mod config;
12pub mod diagnostics;
13pub mod effects;
14#[cfg(all(feature = "runtime", feature = "tty-render"))]
15#[allow(dead_code)]
16#[path = "main/format_cmd.rs"]
17pub mod format;
18pub mod ir;
19pub mod lexer;
20pub mod nan_value;
21pub mod parser;
22#[cfg(any(feature = "wasm-compile", feature = "playground"))]
23pub mod playground;
24#[cfg(feature = "runtime")]
25pub mod replay;
26pub mod resolver;
27#[cfg(feature = "runtime")]
28pub mod runtime_bench_cases;
29#[cfg(feature = "runtime")]
30pub mod services;
31pub mod source;
32pub mod tail_check;
33pub mod tco;
34#[cfg(feature = "tty-render")]
35pub mod tty_render;
36pub mod types;
37pub mod value;
38pub mod verify_law;
39pub mod visibility;
40#[cfg(feature = "runtime")]
41pub mod vm;