arrow-optics / arrow.optics.typeclasses / remove

remove

fun <S, I, A> At<S, I, Option<A>>.remove(s: S, i: I): S

Delete a value associated with a key in a Map-like container

Parameters

s - S structure to zoom into and find focus A.

i - index I to zoom into S and find focus A

Receiver At to provide a Lens where an Option focus can be found at index I for a structure S.

Return S where focus A was removed at index I

fun <S, I, A> At<S, I, Option<A>>.remove(i: I): (S) -> S

Lift deletion of a value associated with a key in a Map-like container

Parameters

i - index I to zoom into S and find focus A

Receiver At to provide a Lens where an Option focus can be found at index I for a structure S.

Return function that takes S and returns a new S where focus A was removed at index I