(property, map_function)
| 230 | |
| 231 | |
| 232 | def mapped_property(property, map_function): |
| 233 | result = Property() |
| 234 | |
| 235 | def updater(old_value, new_value): |
| 236 | new_mapped = map_function(new_value) |
| 237 | result.set(new_mapped) |
| 238 | |
| 239 | property.subscribe(updater) |
| 240 | return result |