Arrow
Toggle table of contents
2.2.2
common
Target filter
common
Switch theme
Search in API
Skip to content
Arrow
arrow-optics
/
arrow.optics.typeclasses
/
FilterIndex
/
filter
filter
abstract
fun
filter
(
p
:
Predicate
<
I
>
)
:
Traversal
<
S
,
A
>
Filter the foci
A
of a
Every
with the predicate
p
.