la.la

Class Type.Tuple

java.lang.Object

la.la.Value

la.la.Value.Structured

la.la.Value.Option

la.la.Type

la.la.Type.Structured

la.la.Type.Tuple

All Implemented Interfaces:

java.lang.Comparable<Value>

Direct Known Subclasses:

Type.Tuple.GP

Enclosing class:

Type

public static class Type.Tuple
extends Type.Structured

The Types of k-Tuples; there is a different type for each value of k. Also see Type.tuple(int), Value.Tuple.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Type.Tuple.GP A Tuple Type with specific field Types, Type.Tuple.GP.elts.

Nested classes/interfaces inherited from class la.la.Type

Type.Atomic, Type.Char, Type.Cts, Type.Discrete, Type.Enum, Type.Function, Type.Int, Type.Model, Type.Option, Type.Structured, Type.Triv, Type.Tuple, Type.TYPE, Type.Vector

Nested classes/interfaces inherited from class la.la.Value

Value.Bool, Value.Chars, Value.Defer, Value.Inc_Or, Value.Lambda, Value.List, Value.Maybe, Value.Real, Value.Scannable

Field Summary

Fields

Modifier and Type	Field and Description
int	k The number of componets (fields) of 'this' Typle Type.

Fields inherited from class la.la.Type

BOOL, BOOL_N, CHAR, CHAR_N, CHARS, CTS, CTS_N, DNA, ENUM_N, FUNCTION, FUNCTION_N, INC_OR, INT, INT_N, LIST, MATRIX_CTS, MATRIX_INT, MAYBE, MODEL, MODEL_N, name, OPTION_N, PAIR, TRIPLE, TRIV, TRIV_N, TUPLE_N, TYPE, TYPE_N, VECTOR, VECTOR_CHARS, VECTOR_CTS, VECTOR_INT, VECTOR_N

Fields inherited from class la.la.Value

C, comparator, CR, E, eight, ffalse, five, fiveR, four, fourR, half, negCR, negOne, negOneR, negTenR, nilVal, nine, None, one, oneR, PI, PIby2, point01, point1, point5, point9, quarter, seven, six, ten, tenR, three, threeR, triv, ttrue, two, twoR, zero, zeroR

Constructor Summary

Constructors

Constructor and Description
Tuple(java.lang.String name, int k)

Method Summary

Modifier and Type	Method and Description
boolean	contains(Type t) Does 'this' Tuple Type contain Type 't'?
int	n() Return this Option Value's number within its Option Type.
int	nElts() This default returns 0; override it if necessary.
boolean	ni(Value v) Is Value v's Type in 'this' Tuple Type?

Methods inherited from class la.la.Type

appendSB, elt, main, show, show, toString, tuple, type

Methods inherited from class la.la.Value.Option

closes, compareTo, opens, separator

Methods inherited from class la.la.Value.Structured

AoM, elts, frth, fst, nlAoM, print, snd, thrd

Methods inherited from class la.la.Value

apply, bOp, cons, cts, errMsg, error, force, isTuple, just, pair, quad, real, RTE, triple, tuple, UOE, uOp, x

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

k

public final int k

The number of componets (fields) of 'this' Typle Type.

Constructor Detail

Tuple

public Tuple(java.lang.String name,
             int k)

Method Detail

n

public int n()

Description copied from class: Value.Option

Return this Option Value's number within its Option Type.

Specified by:

n in class Value.Option

nElts

public int nElts()

Description copied from class: Type

This default returns 0; override it if necessary.

Overrides:

nElts in class Type

ni

public boolean ni(Value v)

Is Value v's Type in 'this' Tuple Type?

Overrides:

ni in class Type

contains

public boolean contains(Type t)

Does 'this' Tuple Type contain Type 't'?

Overrides:

contains in class Type