minitt-util 0.2.4

CLI Utilities extracted from Mini-TT language's type-checker
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

/*!

# Mini-TT Util

This is a crate extracted from the codebase of the [Mini-TT] type checker
to help the development of other dependently-typed lambda calculus type checkers'
command line interface.

It contains helper functions for the [Clap] ([structopt]) command line processor,
file IO, and REPL helpers (for [rustyline]).

As I don't want to break the self-containing property of the [Mini-TT]
codebase, I only extracted things from the CLI helpers, not the type-checker.

All dependencies are optional, thus very lightweight.

 [Mini-TT]: https://docs.rs/minitt
 [Clap]: https://clap.rs
 [structopt]: https://docs.rs/structopt
 [rustyline]: https://docs.rs/rustyline
*/

/// For Command-line processing, etc.
#[cfg(feature = "cli")]
pub mod cli;

/// File IO.
pub mod io;

/// For REPL.
#[cfg(feature = "repl")]
pub mod repl;