arrow-optics / arrow.optics / PIso / id

id

fun <S> id(): Iso<S, S>

create an PIso between any type and itself. Id is the zero element of optics composition, for any optic o of type O (e.g. PLens, Prism, POptional, …): o compose Iso.id == o

Do you like Arrow?

Arrow Org
<