public static class Value.Option.GP extends Value.Option
Value.Option
Value;
also see Type.Option
, and Value.List
.Value.Option.GP
Value.Atomic, Value.Bool, Value.Char, Value.Chars, Value.Cts, Value.Defer, Value.Discrete, Value.Enum, Value.Inc_Or, Value.Int, Value.Lambda, Value.List, Value.Maybe, Value.Option, Value.Real, Value.Scannable, Value.Structured, Value.Triv, Value.Tuple
Modifier and Type | Field and Description |
---|---|
Value[] |
elts
The elements (components, fields) 'elts', if any.
|
int |
n
The particular Option number, 'n', within Type 't'.
|
Type.Option |
t
The Type of 'this' Option.
|
Constructor and Description |
---|
GP(Type t,
int n)
Construct an Option Value of Type t, number n, zero elements.
|
GP(Type t,
int n,
Value v)
Construct an Option Value of Type t, number n, one element v.
|
GP(Type t,
int n,
Value[] elts)
Construct an Option Value of Type t, number n, elements elts.
|
Modifier and Type | Method and Description |
---|---|
Value |
elt(int i)
|
Value[] |
elts()
All the elements (components, fields) as an array; this default
implementation may well be bettered in a sub-class.
|
int |
n()
Return the Option number,
n . |
Type.Option |
type()
Return the
Type of 'this' Value. |
AoM, frth, fst, nlAoM, print, snd, thrd, toString
public final Type.Option t
public final int n
public final Value[] elts
public GP(Type t, int n)
public Type.Option type()
Value
Type
of 'this' Value.public int n()
n
.n
in class Value.Option
public Value[] elts()
Value.Structured
elts
in class Value.Structured
public Value elt(int i)
elt
in class Value.Structured