comparison: src/instance.rs
src/instance.rs
- branch
- dev
- changeset 159
- 279b1f5b8608
- parent 155
- 45d03cf92c23
- child 161
- 5df5258332d1
- child 162
- bea0c3841ced
equal
deleted
inserted
replaced
| 158:9c720f822c79 | 159:279b1f5b8608 |
|---|---|
| 153 X: 'b; | 153 X: 'b; |
| 154 /// Unlikely owned form of the decomposition. | 154 /// Unlikely owned form of the decomposition. |
| 155 /// Type for a lightweight intermediate conversion that does not own the original variable. | 155 /// Type for a lightweight intermediate conversion that does not own the original variable. |
| 156 /// Usually this is just a reference, but may also be a lightweight structure that | 156 /// Usually this is just a reference, but may also be a lightweight structure that |
| 157 /// contains references; see the implementation for [`crate::direct_product::Pair`]. | 157 /// contains references; see the implementation for [`crate::direct_product::Pair`]. |
| 158 type Reference<'b>: Instance<X, Self> + Copy | 158 type Reference<'b>: Instance<X, Self> |
| 159 where | 159 where |
| 160 X: 'b; | 160 X: 'b; |
| 161 | 161 |
| 162 /// Lift the lightweight reference type into a full decomposition type. | 162 /// Lift the lightweight reference type into a full decomposition type. |
| 163 fn lift<'b>(r: Self::Reference<'b>) -> Self::Decomposition<'b>; | 163 fn lift<'b>(r: Self::Reference<'b>) -> Self::Decomposition<'b>; |
