 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
ä |
Constructor
operations which evaluate to
|
|
|
|
type
List
|
|
|
|
ä |
Create,
Cons and Tail
|
|
|
ä |
Inspection
operations which take type list
|
|
|
|
as a
parameter and return some other type
|
|
|
ä |
Head
and Length.
|
|
|
ä |
Tail
can be defined using the simpler
|
|
|
|
constructors
Create and Cons. No need to
|
|
|
|
define
Head and Length with Tail.
|
|