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 32 33
/*! # Voile Util This is a crate extracted from the codebase of the [Voile] type checker to help the development of other dependently-typed lambda calculus type checkers. It contains helper functions for the [Pest] parser (supported via optional feature `parser`), a non-empty vector, some location utils, a unique-ID type with utils, and universe level utilities (with omega). All dependencies are optional, thus very lightweight. [Voile]: https://docs.rs/voile [Pest]: https://pest.rs */ /// Syntactical information. pub mod loc; /// Unique-ID utilities. pub mod uid; /// `Level`-related definitions and relevant operations and traits. pub mod level; /// Helper functions for pest. #[cfg(feature = "parser")] #[macro_use] pub mod pest_util; /// Not using https://docs.rs/vec1/1.4.0 because it doesn't have `fold1`. pub mod vec1;