comparison: src/bisection_tree/either.rs
src/bisection_tree/either.rs
- branch
- dev
- changeset 80
- f802ddbabcfc
- parent 59
- 9226980e45a7
equal
deleted
inserted
replaced
| 68:c5f70e767511 | 80:f802ddbabcfc |
|---|---|
| 7 Instance, | 7 Instance, |
| 8 Mapping, | 8 Mapping, |
| 9 DifferentiableImpl, | 9 DifferentiableImpl, |
| 10 DifferentiableMapping, | 10 DifferentiableMapping, |
| 11 Space, | 11 Space, |
| 12 ArithmeticTrue, | |
| 12 }; | 13 }; |
| 13 use crate::iter::{Mappable, MapF, MapZ}; | 14 use crate::iter::{Mappable, MapF, MapZ}; |
| 14 use crate::sets::Cube; | 15 use crate::sets::Cube; |
| 15 use crate::loc::Loc; | 16 use crate::loc::Loc; |
| 16 | 17 |
| 189 X : Space, | 190 X : Space, |
| 190 S1 : Mapping<X, Codomain=F>, | 191 S1 : Mapping<X, Codomain=F>, |
| 191 S2 : Mapping<X, Codomain=F>, | 192 S2 : Mapping<X, Codomain=F>, |
| 192 { | 193 { |
| 193 type Codomain = F; | 194 type Codomain = F; |
| 195 type ArithmeticOptIn = ArithmeticTrue; | |
| 194 | 196 |
| 195 #[inline] | 197 #[inline] |
| 196 fn apply<I : Instance<X>>(&self, x : I) -> F { | 198 fn apply<I : Instance<X>>(&self, x : I) -> F { |
| 197 match self { | 199 match self { |
| 198 EitherSupport::Left(ref a) => a.apply(x), | 200 EitherSupport::Left(ref a) => a.apply(x), |
