enum WithFilter[t: Type, a: Type]
case WithFilter(a -> Bool, t)
A view for ForEach instance t that filters out elements that don't match the predicate.
ForEach
t
instance ForEach[WithFilter[t, a]] with ForEach[t]