代数特性

一组代表抽象代数的特性。这些特性可以用来抽象具有不同“组合”概念的类型。

示例

考虑以下合并映射的函数

use std::hash::Hash;
use std::collections::{HashMap, HashSet};

use swimos_algebra::Semigroup;

fn combine_maps<K: Eq + Hash + Clone, T: Semigroup>(
    mut left: HashMap<K, T>,
    mut right: HashMap<K, T>) -> HashMap<K, T> {
   
    let keys = left.keys().chain(right.keys()).cloned().collect::<HashSet<_>>();

    keys.into_iter().filter_map(|k| {
        match (left.remove(&k), right.remove(&k)) {
           (None, Some(r)) => Some((k, r)),
           (Some(l), None) => Some((k, l)),
           (Some(l), Some(r)) => Some((k, Semigroup::op(l, r))),
           _ => None,
       }
    }).collect()
}

这可以应用于具有整数值的映射

#
#
#
let left_ints = [("red", 3), ("green", 23), ("blue", 1)]
    .into_iter()
    .collect::<HashMap<_, _>>();

let right_ints = [("red", 4), ("blue", 1)]
    .into_iter()
    .collect::<HashMap<_, _>>();

let expected_ints = [("red", 7), ("green", 23), ("blue", 2)]
    .into_iter()
    .collect::<HashMap<_, _>>();

assert_eq!(combine_maps(left_ints, right_ints), expected_ints);

或者具有向量值的映射

#
#
#
let left_vecs = [
    ("red", vec![12, -5, 6]),
    ("green", vec![1]),
    ("blue", vec![5, 8, 11]),
]
.into_iter()
.collect::<HashMap<_, _>>();

let right_vecs = [
    ("red", vec![4, 1]),
    ("blue", vec![-7])
]
.into_iter()
.collect::<HashMap<_, _>>();

let expected_vecs = [
    ("red", vec![12, -5, 6, 4, 1]),
    ("green", vec![1]),
    ("blue", vec![5, 8, 11, -7]),
]
.into_iter()
.collect::<HashMap<_, _>>();

assert_eq!(combine_maps(left_vecs, right_vecs), expected_vecs);