arrow-optics
1.1.5-alpha.4
arrow-optics
/
arrow.optics.typeclasses
/
FilterIndex
/
Companion
/
fromIso
from
Iso
fun
<
S
,
A
,
I
,
B
>
fromIso
(
FI
:
FilterIndex
<
A
,
I
,
B
>
,
iso
:
Iso
<
S
,
A
>
)
:
FilterIndex
<
S
,
I
,
B
>
Lift an instance of
FilterIndex
using an
Iso