Function serde_dhall::de::from_str_check_type

pub fn from_str_check_type<T>(s: &str, ty: &Value) -> Result<T> where
    T: Deserialize, 

Deserialize an instance of type T from a string of Dhall text, additionally checking that it matches the supplied type.

Like from_str, but this additionally checks that the type of the provided expression matches the supplied type.