minitt_util/lib.rs
1/*!
2# Mini-TT Util
3
4This is a crate extracted from the codebase of the [Mini-TT] type checker
5to help the development of other dependently-typed lambda calculus type checkers'
6command line interface.
7
8It contains helper functions for the [Clap] ([structopt]) command line processor,
9file IO, and REPL helpers (for [rustyline]).
10
11As I don't want to break the self-containing property of the [Mini-TT]
12codebase, I only extracted things from the CLI helpers, not the type-checker.
13
14All dependencies are optional, thus very lightweight.
15
16 [Mini-TT]: https://docs.rs/minitt
17 [Clap]: https://clap.rs
18 [structopt]: https://docs.rs/structopt
19 [rustyline]: https://docs.rs/rustyline
20*/
21
22/// For Command-line processing, etc.
23#[cfg(feature = "cli")]
24pub mod cli;
25
26/// File IO.
27pub mod io;
28
29/// For REPL.
30#[cfg(feature = "repl")]
31pub mod repl;