comparison: src/delta.rs
src/delta.rs
- changeset 4
- f248f9848c87
- parent 0
- e8f3b6c55ce7
equal
deleted
inserted
replaced
| 3:fbdee8e4a78d | 4:f248f9848c87 |
|---|---|
| 74 | 74 |
| 75 impl<Domain, G, F: Num> Mapping<G> for DeltaMeasure<Domain, F> | 75 impl<Domain, G, F: Num> Mapping<G> for DeltaMeasure<Domain, F> |
| 76 where | 76 where |
| 77 Domain: Space, | 77 Domain: Space, |
| 78 G::Codomain: Mul<F, Output = G::Codomain>, | 78 G::Codomain: Mul<F, Output = G::Codomain>, |
| 79 G: Mapping<Domain> + Clone + ClosedSpace, | 79 G: Mapping<Domain> + ClosedSpace, |
| 80 for<'b> &'b Domain: Instance<Domain>, | 80 for<'b> &'b Domain: Instance<Domain>, |
| 81 { | 81 { |
| 82 type Codomain = G::Codomain; | 82 type Codomain = G::Codomain; |
| 83 | 83 |
| 84 #[inline] | 84 #[inline] |
| 89 | 89 |
| 90 impl<Domain, G, F: Num> Linear<G> for DeltaMeasure<Domain, F> | 90 impl<Domain, G, F: Num> Linear<G> for DeltaMeasure<Domain, F> |
| 91 where | 91 where |
| 92 Domain: Space, | 92 Domain: Space, |
| 93 G::Codomain: Mul<F, Output = G::Codomain>, | 93 G::Codomain: Mul<F, Output = G::Codomain>, |
| 94 G: Mapping<Domain> + Clone + ClosedSpace, | 94 G: Mapping<Domain> + ClosedSpace, |
| 95 for<'b> &'b Domain: Instance<Domain>, | 95 for<'b> &'b Domain: Instance<Domain>, |
| 96 { | 96 { |
| 97 } | 97 } |
| 98 | 98 |
| 99 // /// Partial blanket implementation of [`DeltaMeasure`] as a linear functional of [`Mapping`]s. | 99 // /// Partial blanket implementation of [`DeltaMeasure`] as a linear functional of [`Mapping`]s. |
