public static class Type.Tuple.GP extends Type.Tuple
elts
.
(The lack of multiple inheritance means that
this Type.Tuple cannot also be a Value.Tuple.)Type.Tuple.GP
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
Value.Bool, Value.Chars, Value.Defer, Value.Inc_Or, Value.Lambda, Value.List, Value.Maybe, Value.Real, Value.Scannable
Modifier and Type | Field and Description |
---|---|
Type[] |
elts
The component Types (fields) of 'this' Tuple.
|
k
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
Modifier and Type | Method and Description |
---|---|
boolean |
contains(Type t)
Does 'this' Tuple(t1,t2,...) Type contain Type 't'?
|
Type |
elt(int i)
Return the i-th
component Type . |
boolean |
ni(Value v)
Does Value v structurally match 'this' Type?
|
n, nElts
closes, compareTo, opens, separator
public final Type[] elts
public GP(java.lang.String name, Type[] elts)
public Type elt(int i)
component Type
.public boolean ni(Value v)
ni
in class Type.Tuple
public boolean contains(Type t)
contains
in class Type.Tuple