arrow-optics / arrow.optics.typeclasses / Each / fromIso

fromIso

fun <S, A, B> fromIso(EA: Each<A, B>, iso: Iso<S, A>): Each<S, B>

Lift an instance of Each using an Iso

Parameters

EA - Each that can provide Traversal for a structure A with a focus in B

iso - Iso that defines an isomorphism between S and A

Return Each to provide Traversal for structure S with focus in B

Do you like Arrow?

Arrow Org
<