summaryrefslogtreecommitdiff
path: root/serde_dhall/tests
diff options
context:
space:
mode:
Diffstat (limited to 'serde_dhall/tests')
-rw-r--r--serde_dhall/tests/traits.rs68
1 files changed, 68 insertions, 0 deletions
diff --git a/serde_dhall/tests/traits.rs b/serde_dhall/tests/traits.rs
new file mode 100644
index 0000000..99f1109
--- /dev/null
+++ b/serde_dhall/tests/traits.rs
@@ -0,0 +1,68 @@
+#![feature(proc_macro_hygiene)]
+use serde_dhall::de::{from_str, StaticType, Type};
+
+#[test]
+fn test_static_type() {
+ fn parse(s: &str) -> Type {
+ from_str(s, None).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::de::StaticType)]
+ #[allow(dead_code)]
+ struct A {
+ field1: bool,
+ field2: Option<bool>,
+ }
+ assert_eq!(
+ <A as serde_dhall::de::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 >"));
+}