Go up to Destructive Updating
Go forward to tail(): Update Tail List

head(): Update Head Element

l.head(h)
      List<T> l
      T h

Specification: Destructively updates the head element of l by e.

Constraints: It is illegal to apply head to an empty l.

Complexity: O(1).


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: main.tex,v 1.10 1996/04/04 11:45:47 schreine Exp

Up Next