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

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

Parameters

s

S structure to zoom into and find focus A.

i

index I to zoom into S and find focus A


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

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

Parameters

i

index I to zoom into S and find focus A