comparison: src/discrete.rs
src/discrete.rs
- changeset 4
- f248f9848c87
- parent 0
- e8f3b6c55ce7
- child 5
- e781c543e228
equal
deleted
inserted
replaced
| 3:fbdee8e4a78d | 4:f248f9848c87 |
|---|---|
| 477 | 477 |
| 478 impl<Domain, G, F: Num> Mapping<G> for DiscreteMeasure<Domain, F> | 478 impl<Domain, G, F: Num> Mapping<G> for DiscreteMeasure<Domain, F> |
| 479 where | 479 where |
| 480 Domain: Space, | 480 Domain: Space, |
| 481 G::Codomain: Sum + Mul<F, Output = G::Codomain>, | 481 G::Codomain: Sum + Mul<F, Output = G::Codomain>, |
| 482 G: Mapping<Domain, Codomain = F> + Clone + ClosedSpace, | 482 G: Mapping<Domain, Codomain = F> + ClosedSpace, |
| 483 for<'b> &'b Domain: Instance<Domain>, | 483 for<'b> &'b Domain: Instance<Domain>, |
| 484 { | 484 { |
| 485 type Codomain = G::Codomain; | 485 type Codomain = G::Codomain; |
| 486 | 486 |
| 487 #[inline] | 487 #[inline] |
| 492 | 492 |
| 493 impl<Domain, G, F: Num> Linear<G> for DiscreteMeasure<Domain, F> | 493 impl<Domain, G, F: Num> Linear<G> for DiscreteMeasure<Domain, F> |
| 494 where | 494 where |
| 495 Domain: Space, | 495 Domain: Space, |
| 496 G::Codomain: Sum + Mul<F, Output = G::Codomain>, | 496 G::Codomain: Sum + Mul<F, Output = G::Codomain>, |
| 497 G: Mapping<Domain, Codomain = F> + Clone + ClosedSpace, | 497 G: Mapping<Domain, Codomain = F> + ClosedSpace, |
| 498 for<'b> &'b Domain: Instance<Domain>, | 498 for<'b> &'b Domain: Instance<Domain>, |
| 499 { | 499 { |
| 500 } | 500 } |
| 501 | 501 |
| 502 /// Helper trait for constructing arithmetic operations for combinations | 502 /// Helper trait for constructing arithmetic operations for combinations |
