comparison: src/mapping.rs
src/mapping.rs
- branch
- dev
- changeset 151
- 402d717bb5c0
- parent 150
- c4e394a9c84c
- child 161
- 5df5258332d1
- child 171
- fa8df5a14486
equal
deleted
inserted
replaced
| 150:c4e394a9c84c | 151:402d717bb5c0 |
|---|---|
| 164 pub struct FlattenedCodomain<X, F, G> { | 164 pub struct FlattenedCodomain<X, F, G> { |
| 165 g: G, | 165 g: G, |
| 166 _phantoms: PhantomData<(X, F)>, | 166 _phantoms: PhantomData<(X, F)>, |
| 167 } | 167 } |
| 168 | 168 |
| 169 impl<F: Space, X, G> Mapping<X> for FlattenedCodomain<X, F, G> | 169 impl<F, X, G> Mapping<X> for FlattenedCodomain<X, F, G> |
| 170 where | 170 where |
| 171 F: ClosedSpace, | |
| 171 X: Space, | 172 X: Space, |
| 172 G: Mapping<X, Codomain = Loc<1, F>>, | 173 G: Mapping<X, Codomain = Loc<1, F>>, |
| 173 { | 174 { |
| 174 type Codomain = F; | 175 type Codomain = F; |
| 175 | 176 |
| 198 } | 199 } |
| 199 | 200 |
| 200 impl<'a, X, F, G, const N: usize> Mapping<X> for SlicedCodomain<'a, X, F, G, N> | 201 impl<'a, X, F, G, const N: usize> Mapping<X> for SlicedCodomain<'a, X, F, G, N> |
| 201 where | 202 where |
| 202 X: Space, | 203 X: Space, |
| 203 F: Copy + Space, | 204 F: Copy + ClosedSpace, |
| 204 G: Mapping<X, Codomain = Loc<N, F>>, | 205 G: Mapping<X, Codomain = Loc<N, F>>, |
| 205 { | 206 { |
| 206 type Codomain = F; | 207 type Codomain = F; |
| 207 | 208 |
| 208 #[inline] | 209 #[inline] |
