arrow-optics / arrow.optics / Getter / exist

exist

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

Check if the focus A satisfies the predicate p.

Do you like Arrow?

Arrow Org
<