summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-07 16:45:30 +0200
committerNadrieril2019-04-07 16:47:55 +0200
commit4bebcd96b6e76b9b8ae7877af91d2ae571e617a9 (patch)
tree09012b2d9294a58455b74e8bd0e041f7cb153a23 /dhall/src/lib.rs
parentf680a3221c7475fae413a260d739cf8e0025081d (diff)
Restrict public API
Closes #20
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r--dhall/src/lib.rs12
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::*;