michael/rust-dominator
michael
/
rust-dominator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Changing filter_map to filter

This commit is contained in:
Pauan 2018-03-12 14:09:30 -10:00
parent db41163c2d
commit 156a4e1941
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
examples/todomvc/src/main.rs
View File

@ -242,8 +242,7 @@ fn main() {
property("checked", state.todo_list.signal_vec()
.map_signal(|todo| todo.completed.signal())
// TODO use .filter()
.filter_map(|completed| if !completed { Some(()) } else { None })
.filter(|completed| !completed)
.len()
.map(|len| len != 0)
.dynamic());
@ -396,8 +395,7 @@ fn main() {
children(state.todo_list.signal_vec()
.map_signal(|todo| todo.completed.signal())
// TODO use .filter()
.filter_map(|completed| if !completed { Some(()) } else { None })
.filter(|completed| !completed)
.len()
// TODO make this more efficient
.map(|len| {
@ -436,8 +434,7 @@ fn main() {
// Hide if it doesn't have any completed items.
property("hidden", state.todo_list.signal_vec()
.map_signal(|todo| todo.completed.signal())
// TODO use .filter()
.filter_map(|completed| if completed { Some(()) } else { None })
.filter(|completed| completed)
.len()
.map(|len| len == 0)
.dynamic());