Skip to main content

serialize_fact_path_map

lemma::serialization

Function serialize_fact_path_map 

Source 
pub fn serialize_fact_path_map<S>(
    map: &HashMap<FactPath, LemmaFact>,
    serializer: S,
) -> Result<S::Ok, S::Error>
where
    S: Serializer,
Expand description

Custom serializer for HashMap<FactPath, LemmaFact>

JSON object keys must be strings, so FactPath keys are serialized as strings using their Display implementation (e.g., “age” or “employee.salary”).