diff options
author | Nadrieril | 2020-01-16 17:20:10 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-16 18:09:30 +0000 |
commit | bc12f1179143f20a54664ba8ce51d24834d2f1ff (patch) | |
tree | 4e19a23be2205cc2a2267eada6aabf79b631c9df /serde_dhall/src/static_type.rs | |
parent | af7e5741d4a6f581a1b4efd336e739fd116c5e7b (diff) |
Deserialize more types
Diffstat (limited to '')
-rw-r--r-- | serde_dhall/src/static_type.rs | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/serde_dhall/src/static_type.rs b/serde_dhall/src/static_type.rs index 1323aa3..1eb9150 100644 --- a/serde_dhall/src/static_type.rs +++ b/serde_dhall/src/static_type.rs @@ -1,4 +1,4 @@ -use dhall::syntax::{Builtin, Integer, Natural}; +use dhall::syntax::Builtin; use crate::Value; @@ -28,9 +28,14 @@ macro_rules! derive_builtin { } derive_builtin!(bool, Bool); -derive_builtin!(Natural, Natural); +derive_builtin!(usize, Natural); derive_builtin!(u64, Natural); -derive_builtin!(Integer, Integer); +derive_builtin!(u32, Natural); +derive_builtin!(isize, Integer); +derive_builtin!(i64, Integer); +derive_builtin!(i32, Integer); +derive_builtin!(f64, Double); +derive_builtin!(f32, Double); derive_builtin!(String, Text); impl<A, B> StaticType for (A, B) |