A shim for a MonadFilter type-class, to be supplied by / translated to
libraries such as Cats or Scalaz.
A Monad equipped with an additional method which allows us to
create an "Empty" value for the Monad (for whatever "empty" makes
sense for that particular monad). This is of particular interest to
us since it allows us to add a filter method to a Monad, which is
used when pattern matching or using guards in for comprehensions.
A shim for a
MonadFilter
type-class, to be supplied by / translated to libraries such as Cats or Scalaz.A Monad equipped with an additional method which allows us to create an "Empty" value for the Monad (for whatever "empty" makes sense for that particular monad). This is of particular interest to us since it allows us to add a
filter
method to a Monad, which is used when pattern matching or using guards in for comprehensions.