toggle menu
Arrow
1.2.4
common
switch theme
search in API
arrow-optics
/
arrow.optics.typeclasses
/
FilterIndex
/
filter
filter
abstract
fun
filter
(
p
:
Predicate
<
I
>
)
:
Every
<
S
,
A
>
(
source
)
Filter the foci
A
of a
Every
with the predicate
p
.