A PointedList tracks the position in a non-empty list which works similarly to a zipper. A current item is always required, and therefore the list may never be empty. A circular PointedList wraps around to the other end when progressing past the actual edge.
4 lines
259 B
Text
4 lines
259 B
Text
A PointedList tracks the position in a non-empty list which works
|
|
similarly to a zipper. A current item is always required, and
|
|
therefore the list may never be empty. A circular PointedList wraps
|
|
around to the other end when progressing past the actual edge.
|