diff options
author | Nadrieril | 2020-05-10 22:09:43 +0100 |
---|---|---|
committer | Nadrieril | 2020-10-28 22:52:41 +0000 |
commit | e070270c3f1f10d46281ed7751ff95e15092e7f4 (patch) | |
tree | 46c22c75f209c5112030f3db6609ed64ff4888d3 /serde_dhall/tests/de.rs | |
parent | 5f3ca811f09dcf6f09fb9b60fcd2664d06762f39 (diff) |
Implement serialization
Diffstat (limited to '')
-rw-r--r-- | serde_dhall/tests/de.rs | 59 |
1 files changed, 1 insertions, 58 deletions
diff --git a/serde_dhall/tests/de.rs b/serde_dhall/tests/de.rs index 3abaad2..0b43de2 100644 --- a/serde_dhall/tests/de.rs +++ b/serde_dhall/tests/de.rs @@ -1,62 +1,5 @@ use serde::Deserialize; -use serde_dhall::{from_str, FromDhall, NumKind, SimpleValue, StaticType}; - -#[test] -fn test_de_typed() { - fn parse<T: FromDhall + StaticType>(s: &str) -> T { - from_str(s).static_type_annotation().parse().unwrap() - } - - assert_eq!(parse::<bool>("True"), true); - - assert_eq!(parse::<u64>("1"), 1); - assert_eq!(parse::<u32>("1"), 1); - assert_eq!(parse::<usize>("1"), 1); - - assert_eq!(parse::<i64>("+1"), 1); - assert_eq!(parse::<i32>("+1"), 1); - assert_eq!(parse::<isize>("+1"), 1); - - assert_eq!(parse::<f64>("1.0"), 1.0); - assert_eq!(parse::<f32>("1.0"), 1.0); - - assert_eq!(parse::<String>(r#""foo""#), "foo".to_owned()); - assert_eq!(parse::<Vec<u64>>("[] : List Natural"), <Vec<u64>>::new()); - assert_eq!(parse::<Vec<u64>>("[1, 2]"), vec![1, 2]); - assert_eq!(parse::<Option<u64>>("None Natural"), None); - assert_eq!(parse::<Option<u64>>("Some 1"), Some(1)); - - assert_eq!( - parse::<(u64, String)>(r#"{ _1 = 1, _2 = "foo" }"#), - (1, "foo".to_owned()) - ); - - #[derive(Debug, PartialEq, Eq, Deserialize, StaticType)] - struct Foo { - x: u64, - y: i64, - } - assert_eq!(parse::<Foo>("{ x = 1, y = -2 }"), Foo { x: 1, y: -2 }); - - #[derive(Debug, PartialEq, Eq, Deserialize, StaticType)] - enum Bar { - X(u64), - Y(i64), - } - assert_eq!(parse::<Bar>("< X: Natural | Y: Integer >.X 1"), Bar::X(1)); - - #[derive(Debug, PartialEq, Eq, Deserialize, StaticType)] - enum Baz { - X, - Y(i64), - } - assert_eq!(parse::<Baz>("< X | Y: Integer >.X"), Baz::X); - - assert!(from_str("< X | Y: Integer >.Y") - .static_type_annotation() - .parse::<Baz>() - .is_err()); -} +use serde_dhall::{from_str, FromDhall, NumKind, SimpleValue}; #[test] fn test_de_untyped() { |