uk.ac.man.cs.rainbow.datamodel
Interface Data.List.T

All Known Implementing Classes:

Type.Vector, Type.Tuple

Enclosing class:

Data.List

public static interface Data.List.T

What special operations must the type of a list implement?

Method Summary

Type	index(int idx) Get the type of the idxth value.
int	length() Get the number of values that the type requires the list to have.
String	render(Expression[] contents) Render a list, given the values that the list is defined by.

Method Detail

render

public String render(Expression[] contents)

Render a list, given the values that the list is defined by.

index

public Type index(int idx)

Get the type of the idx^th value.

length

public int length()

Get the number of values that the type requires the list to have.