datalog_structural_model/ir/
symbol_serde.rs

1//! Cached symbol hashes are implementation state, rebuilt on input.
2use super::{ConstantSymbol, PredicateSymbol, VariableSymbol};
3use serde::{Deserialize, Deserializer, Serialize, Serializer};
4impl Serialize for ConstantSymbol {
5    fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> {
6        serializer.serialize_str(self.as_str())
7    }
8}
9impl<'de> Deserialize<'de> for ConstantSymbol {
10    fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
11        Ok(Self::new(String::deserialize(deserializer)?))
12    }
13}
14impl Serialize for PredicateSymbol {
15    fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> {
16        serializer.serialize_str(self.as_str())
17    }
18}
19impl<'de> Deserialize<'de> for PredicateSymbol {
20    fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
21        Ok(Self::new(String::deserialize(deserializer)?))
22    }
23}
24impl Serialize for VariableSymbol {
25    fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> {
26        serializer.serialize_str(self.as_str())
27    }
28}
29impl<'de> Deserialize<'de> for VariableSymbol {
30    fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
31        Ok(Self::new(String::deserialize(deserializer)?))
32    }
33}
datalog_structural_model/ir/symbol_serde.rs

datalog_structural_model/ir/
symbol_serde.rs
