Arrow
1.1.5
arrow-optics
/
arrow.optics
/
Fold
/
all
all
open
fun
all
(
source
:
S
,
predicate
:
(
focus
:
A
)
->
Boolean
)
:
Boolean
(
source
)
Check if all targets satisfy the predicate