diff options
author | Nadrieril | 2019-04-07 16:45:30 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-07 16:47:55 +0200 |
commit | 4bebcd96b6e76b9b8ae7877af91d2ae571e617a9 (patch) | |
tree | 09012b2d9294a58455b74e8bd0e041f7cb153a23 /dhall/src/lib.rs | |
parent | f680a3221c7475fae413a260d739cf8e0025081d (diff) |
Restrict public API
Closes #20
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 28b43ba..f00e5b6 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -7,16 +7,14 @@ clippy::many_single_char_names )] -mod normalize; -pub use crate::normalize::*; mod binary; -pub mod imports; -mod traits; +mod imports; +mod normalize; +pub mod traits; pub mod typecheck; -pub use crate::imports::*; -pub use crate::traits::*; +pub use crate::imports::{load_dhall_file, ImportError}; +pub use crate::traits::StaticType; pub use dhall_generator::expr; pub use dhall_generator::subexpr; pub use dhall_generator::StaticType; pub mod expr; -pub use crate::expr::*; |