给定功能:
fn add(a: u64, b: u64) -> u64 {
return a + b;
}
是否可以:
fn add(oa: Option<u64>, ob: Option<u64>) -> Option<u64> {
match (oa, ob) {
(Some(a), Some(b)) => Some(a + b),
_ => None,
}
)
自动,通过“提升”它进入Option<>
类型?
我找到了https://docs.rs/kinder/0.1.1/kinder/lift/index.html但目前尚不清楚如何使用它。