How to delete an element from an array using lenses

Question

I'm trying to remove an element from an Array a using the index of the element but I can't find a way to do it with Lenses. I'm also wondering why Array does not provide an instance for the At lens. Any pointer on it?

Brian McKenna · Accepted Answer · 2023-09-03 12:57:11Z

1

I'm also wondering why Array does not provide an instance for the At lens.

You can look at the Control.Lens.At module docs for a hint:

... not Array-like ones, where you cannot satisfy the Lens laws

One of the laws which breaks is set l v' (set l v s) ≡ set l v' s. The reason being that deleting an index moves the other indices. So the following can't make sense:

myArray
  & at 6 .~ Nothing
  & at 6 .~ Just 10

I don't know of a way to have deleting array elements be Lens like.

answered Sep 3, 2023 at 12:57

Brian McKenna

46.3k6 gold badges64 silver badges60 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

amaille Over a year ago

Alright ! Makes sense for lens laws ! Didn´t got the hint from Pursuit

Collectives™ on Stack Overflow

How to delete an element from an array using lenses

1 Answer 1

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related