comparison: src/direct_product.rs
src/direct_product.rs
- branch
- dev
- changeset 168
- 93daa824c04a
- parent 166
- 20fa28637737
- child 171
- fa8df5a14486
equal
deleted
inserted
replaced
| 167:effb80efba09 | 168:93daa824c04a |
|---|---|
| 430 D: Decomposition<A>, | 430 D: Decomposition<A>, |
| 431 Q: Decomposition<B>, | 431 Q: Decomposition<B>, |
| 432 U: Instance<A, D>, | 432 U: Instance<A, D>, |
| 433 V: Instance<B, Q>, | 433 V: Instance<B, Q>, |
| 434 { | 434 { |
| 435 #[inline] | |
| 435 fn eval_decompose<'b, R>( | 436 fn eval_decompose<'b, R>( |
| 436 self, | 437 self, |
| 437 f: impl FnOnce(Pair<D::Decomposition<'b>, Q::Decomposition<'b>>) -> R, | 438 f: impl FnOnce(Pair<D::Decomposition<'b>, Q::Decomposition<'b>>) -> R, |
| 438 ) -> R | 439 ) -> R |
| 439 where | 440 where |
| 442 { | 443 { |
| 443 self.0 | 444 self.0 |
| 444 .eval_decompose(|a| self.1.eval_decompose(|b| f(Pair(a, b)))) | 445 .eval_decompose(|a| self.1.eval_decompose(|b| f(Pair(a, b)))) |
| 445 } | 446 } |
| 446 | 447 |
| 448 #[inline] | |
| 447 fn eval_ref_decompose<'b, R>( | 449 fn eval_ref_decompose<'b, R>( |
| 448 &'b self, | 450 &'b self, |
| 449 f: impl FnOnce(Pair<D::Reference<'b>, Q::Reference<'b>>) -> R, | 451 f: impl FnOnce(Pair<D::Reference<'b>, Q::Reference<'b>>) -> R, |
| 450 ) -> R | 452 ) -> R |
| 451 where | 453 where |
