diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index d8ca955..dcc1ff3 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -10,7 +10,16 @@ mod normalize; pub use crate::normalize::*; pub mod binary; +pub mod dhall_type; pub mod imports; pub mod typecheck; -pub use crate::imports::{load_dhall_file, DhallError}; +pub use crate::imports::*; + +pub struct DhallExpr(dhall_core::DhallExpr); + +impl DhallExpr { + pub fn normalize(self) -> Self { + DhallExpr(crate::normalize::normalize(self.0)) + } +} |