final class MHeader[A](var info: A, var front: MList)

A "header" node for MLists.

The info field stores information about the list, such as its length.

The front field stores a pointer to the front of the list. Maintaining this pointer in a header node helps avoid a very common bug where the front of the list changes (either a new list node was added or the front node was removed) but a pointer elsewhere in the code still points to the old front. With header nodes, only pointers to the header should be shared, and every operation that changes the front of the list should update the header.

class Object
trait Matchable
class Any

Value members

Concrete methods

override def toString(): String
Definition Classes

Concrete fields

var info: A