diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 23 |
1 files changed, 7 insertions, 16 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 103fd29..f00e5b6 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -7,23 +7,14 @@ clippy::many_single_char_names )] +mod binary; +mod imports; mod normalize; -pub use crate::normalize::*; -pub mod binary; -mod dhall_type; -pub mod imports; +pub mod traits; pub mod typecheck; -pub use crate::dhall_type::*; +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::Type; - -pub use crate::imports::*; - -// pub struct DhallExpr(dhall_core::DhallExpr); - -// impl DhallExpr { -// pub fn normalize(self) -> Self { -// DhallExpr(crate::normalize::normalize(self.0)) -// } -// } +pub use dhall_generator::StaticType; +pub mod expr; |