fromIso

fun <S, A, I, B> fromIso(ID: Index<A, I, B>, iso: Iso<S, A>): Index<S, I, B>(source)

Lift an instance of Index using an Iso.

Index for a structure S to focus in an optional A at a given index I

Index instance to provide a Optional to focus into S at I

iso

Iso that defines an isomorphism between a type S and A