| 199 |
199 |
| 200 impl<E, F, Domain> Mapping<Domain> for NormMapping<F, E> |
200 impl<E, F, Domain> Mapping<Domain> for NormMapping<F, E> |
| 201 where |
201 where |
| 202 F: Float, |
202 F: Float, |
| 203 E: NormExponent, |
203 E: NormExponent, |
| 204 Domain: Space + Norm<E, F>, |
204 Domain: Space, |
| |
205 Domain::OwnedSpace: Norm<E, F>, |
| 205 { |
206 { |
| 206 type Codomain = F; |
207 type Codomain = F; |
| 207 |
208 |
| 208 #[inline] |
209 #[inline] |
| 209 fn apply<I: Instance<Domain>>(&self, x: I) -> F { |
210 fn apply<I: Instance<Domain>>(&self, x: I) -> F { |