diff options
author | Nadrieril | 2019-04-11 15:15:20 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-11 15:15:20 +0200 |
commit | 36a6f9a09b966922baf4838599e57250982b0fc3 (patch) | |
tree | 94e60577c9e8efb9d673f5e661c4a8eae911fd8e /dhall/src/lib.rs | |
parent | c3c1d3d276216796394b553ecbe2832897e3deb0 (diff) |
Abstract get_type() into a trait
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 8af5af9..6d08d08 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -126,9 +126,9 @@ mod imports; mod normalize; mod traits; mod typecheck; -pub use crate::traits::Deserialize; -pub use crate::traits::SimpleStaticType; -pub use crate::traits::StaticType; +pub use crate::traits::{ + Deserialize, DynamicType, SimpleStaticType, StaticType, +}; pub use dhall_generator::SimpleStaticType; pub mod error; pub mod expr; |