fromIso

fun <S, U, I, A> fromIso(AT: At<U, I, A>, iso: Iso<S, U>): At<S, I, A>

Lift an instance of At using an Iso.

AT - At that can provide Lens for a structure U with a focus in A with given index I.

iso - Iso that defines an isomorphism between S and U

Return At to provide Lens for structure S with focus in A at given index I