filteredRocks property

List<Rock> get filteredRocks

A filtered view of rocks that matches the query.

Implementation

List<Rock> get filteredRocks => rocks.where(filter).toList();