arrow-optics / arrow.optics / PPrism / nonEmpty
open fun nonEmpty(s: S): Boolean
open fun nonEmpty(s: S):
Boolean
Check if a focus can be seen by the PPrism
Do you like Arrow?