Merge remote-tracking branch 'origin/master' into fintan/canonicalize

1 files changed, 67 insertions, 0 deletions

diff --git a/serde_dhall/tests/traits.rs b/serde_dhall/tests/traits.rs
new file mode 100644
index 0000000..15a91ed
--- /dev/null
+++ b/serde_dhall/tests/traits.rs
@@ -0,0 +1,67 @@
+use serde_dhall::{from_str, StaticType, Value};
+
+#[test]
+fn test_static_type() {
+    fn parse(s: &str) -> Value {
+        from_str(s).unwrap()
+    }
+
+    assert_eq!(bool::static_type(), parse("Bool"));
+    assert_eq!(String::static_type(), parse("Text"));
+    assert_eq!(<Option<bool>>::static_type(), parse("Optional Bool"));
+    assert_eq!(
+        <(bool, Vec<String>)>::static_type(),
+        parse("{ _1: Bool, _2: List Text }")
+    );
+
+    #[derive(serde_dhall::StaticType)]
+    #[allow(dead_code)]
+    struct A {
+        field1: bool,
+        field2: Option<bool>,
+    }
+    assert_eq!(
+        <A as serde_dhall::StaticType>::static_type(),
+        parse("{ field1: Bool, field2: Optional Bool }")
+    );
+
+    #[derive(StaticType)]
+    #[allow(dead_code)]
+    struct B<'a, T: 'a> {
+        field1: &'a T,
+        field2: Option<T>,
+    }
+    assert_eq!(<B<'static, bool>>::static_type(), A::static_type());
+
+    #[derive(StaticType)]
+    #[allow(dead_code)]
+    struct C<T>(T, Option<String>);
+    assert_eq!(
+        <C<bool>>::static_type(),
+        <(bool, Option<String>)>::static_type()
+    );
+
+    #[derive(StaticType)]
+    #[allow(dead_code)]
+    struct D();
+    assert_eq!(
+        <C<D>>::static_type(),
+        parse("{ _1: {}, _2: Optional Text }")
+    );
+
+    #[derive(StaticType)]
+    #[allow(dead_code)]
+    enum E<T> {
+        A(T),
+        B(String),
+    };
+    assert_eq!(<E<bool>>::static_type(), parse("< A: Bool | B: Text >"));
+
+    #[derive(StaticType)]
+    #[allow(dead_code)]
+    enum F {
+        A,
+        B(bool),
+    };
+    assert_eq!(F::static_type(), parse("< A | B: Bool >"));
+}