arrow-optics / arrow.optics / PPrism / all

all

open fun all(s: S, p: (A) -> Boolean): Boolean

Check if there is no focus or the focus satisfies the predicate

Do you like Arrow?

Arrow Org
<