public static class Type.Option extends Type.Structured
Value.List
: Type.LIST
,Type.Enum
.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.Option.GP
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 |
---|---|
int[] |
arities
Special case when ids={} and arities={}.
|
java.lang.String[] |
ids
For example, {"emptyT", "fork"}.
|
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
Constructor and Description |
---|
Option(java.lang.String name)
Special case when ids={} and arities={}.
|
Option(java.lang.String name,
java.lang.String[] ids,
int[] arities)
Construct a Type.Option with name 'name' etc.
|
Modifier and Type | Method and Description |
---|---|
int |
n()
Return this Option Value's number within its
Option
Type . |
appendSB, contains, elt, main, nElts, ni, show, show, toString, tuple, type
closes, compareTo, opens, separator
public final java.lang.String[] ids
public final int[] arities
public Option(java.lang.String name)
public Option(java.lang.String name, java.lang.String[] ids, int[] arities)
public int n()
Value.Option
Type
.n
in class Value.Option