summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--serde_dhall/src/options/de.rs37
1 files changed, 37 insertions, 0 deletions
diff --git a/serde_dhall/src/options/de.rs b/serde_dhall/src/options/de.rs
index a070af7..cf95496 100644
--- a/serde_dhall/src/options/de.rs
+++ b/serde_dhall/src/options/de.rs
@@ -228,6 +228,43 @@ impl<'a, A> Deserializer<'a, A> {
// self
// }
+ /// Sets a Collection of names which should be substituted with
+ /// the given types, i.e. effectively adds built-in type variables
+ /// which do not need to be imported within dhall.
+ ///
+ /// This is especially useful when deserialising into many nested
+ /// structs and enums at once, since it allows exposing the rust
+ /// types to dhall without having to redefine them in both languages
+ /// and manually keep both definitions in sync.
+ ///
+ /// # Example
+ /// ```
+ /// use serde::Deserialize;
+ /// use serde_dhall::StaticType;
+ /// use std::collections::HashMap;
+ ///
+ /// #[derive(Deserialize, StaticType, Debug, PartialEq)]
+ /// enum Newtype {
+ /// Foo,
+ /// Bar
+ /// }
+ ///
+ /// let mut substs = HashMap::new();
+ /// substs.insert(
+ /// "Newtype".to_string(),
+ /// Newtype::static_type()
+ /// );
+ ///
+ /// let data = "Newtype.Bar";
+ ///
+ /// let deserialized = serde_dhall::from_str(data)
+ /// .substitute_names(substs)
+ /// .parse::<Newtype>()
+ /// .unwrap();
+ ///
+ /// assert_eq!(deserialized, Newtype::Bar);
+ ///
+ /// ```
pub fn substitute_names(self, substs: HashMap<String, SimpleType>) -> Self {
Deserializer {
substitutions: substs