diff options
author | Nadrieril | 2019-04-07 18:04:45 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-07 18:04:45 +0200 |
commit | 21b1fda39e51d157dadbfbb2aeb0f542a9506fcf (patch) | |
tree | 09012b2d9294a58455b74e8bd0e041f7cb153a23 /dhall/src/lib.rs | |
parent | 727c5219c9af55df3e61fb372fa2fadecdd15b18 (diff) | |
parent | 4bebcd96b6e76b9b8ae7877af91d2ae571e617a9 (diff) |
Merge branch 'statemachine-api'
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; |