For-comprehension friendly View and ViewNavigator
withFilter added to RichCollection.

It can be used with "if" statement within for-comprehension:

 for {
   doc <- db.getAllUnreadDocuments
   if doc.getItemValueString("Form") == "Mail"
 } yield doc.getItemValueString("Subject")