fromIso

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

Lift an instance of At using an Iso.

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

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