Refactor imag-ids to fit new store iterator interface

This commit is contained in:
Matthias Beyer 2018-04-30 19:24:05 +02:00
parent 40a04376ed
commit eaf8148cda

View file

@ -45,6 +45,7 @@ use filters::filter::Filter;
use libimagrt::setup::generate_runtime_setup; use libimagrt::setup::generate_runtime_setup;
use libimagerror::trace::MapErrTrace; use libimagerror::trace::MapErrTrace;
use libimagerror::iter::TraceIterator;
use libimagerror::exit::ExitUnwrap; use libimagerror::exit::ExitUnwrap;
use libimagerror::io::ToExitCode; use libimagerror::io::ToExitCode;
use libimagstore::storeid::StoreId; use libimagstore::storeid::StoreId;
@ -86,6 +87,7 @@ fn main() {
rt.store() rt.store()
.entries() .entries()
.map_err_trace_exit_unwrap(1) .map_err_trace_exit_unwrap(1)
.trace_unwrap_exit(1)
.filter(|id| collection_filter.filter(id)) .filter(|id| collection_filter.filter(id))
.map(|id| if print_storepath { .map(|id| if print_storepath {
id id