la.la

Class Type.Triv

java.lang.Object

la.la.Value

la.la.Value.Structured

la.la.Value.Option

la.la.Type

la.la.Type.Atomic

la.la.Type.Discrete

la.la.Type.Enum

la.la.Type.Triv

All Implemented Interfaces:

java.lang.Comparable<Value>

Enclosing class:

Type

public static class Type.Triv
extends Type.Enum

The class of the TRIV Type. Also see Value.triv.

Nested Class Summary

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.Option

Value.Option.GP

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 inherited from class la.la.Type.Enum

ids

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
Triv(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
Value.Triv	int2value(int n) Return the n-th Value, vals[n], of 'this' Enum.
int	n() Return this Option Value's number within its Option Type.

Methods inherited from class la.la.Type.Enum

string2n, string2value

Methods inherited from class la.la.Type.Discrete

bounded, bounds, hasLwb, hasUpb, lwb_n, lwb, ordered, unOrdered, upb_n, upb

Methods inherited from class la.la.Type

appendSB, contains, elt, main, nElts, ni, 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

Constructor Detail

Triv

public Triv(java.lang.String name)

Method Detail

n

public int n()

Description copied from class: Value.Option

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

Overrides:

n in class Type.Enum

int2value

public Value.Triv int2value(int n)

Description copied from class: Type.Enum

Return the n-th Value, vals[n], of 'this' Enum.

Overrides:

int2value in class Type.Enum