arrow-optics / arrow.optics / PPrism / all
open fun all(s: S, p: (A) -> Boolean): Boolean
open fun all(s: S, p: (A) ->
Boolean
):
Check if there is no focus or the focus satisfies the predicate
Do you like Arrow?