arrow-optics / arrow.optics / PLens / exist

exist

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

Verify if the focus of a PLens satisfies the predicate

Do you like Arrow?

Arrow Org
<