la.la

Class Value.Maybe.Just

java.lang.Object

la.la.Value

la.la.Value.Structured

la.la.Value.Option

la.la.Value.Maybe

la.la.Value.Maybe.Just

All Implemented Interfaces:

java.lang.Comparable<Value>

Enclosing class:

Value.Maybe

public static class Value.Maybe.Just
extends Value.Maybe

The Value is present, Just v.

Nested Class Summary

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

Value.Maybe.Just

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

Value.Option.GP

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

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

Field Summary

Fields

Modifier and Type	Field and Description
Value	v The Value, v, in Just v is present.

Fields inherited from class la.la.Value.Maybe

JUST, None, NONE

Fields inherited from class la.la.Value

C, comparator, CR, E, eight, ffalse, five, fiveR, four, fourR, half, negCR, negOne, negOneR, negTenR, nilVal, nine, 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
Just(Value v)

Method Summary

Modifier and Type	Method and Description
Value	elt(int n) The i-th element (component, field) of 'this' Structured Value, counting from zero.
int	n() Return this Option Value's number within its Option Type.
int	nElts() Return this Option's number of elements (fields).

Methods inherited from class la.la.Value.Maybe

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, toString

Methods inherited from class la.la.Value

apply, bOp, cons, cts, errMsg, error, force, isTuple, just, main, 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

v

public final Value v

The Value, v, in Just v is present.

Constructor Detail

Just

public Just(Value v)

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

Return this Option's number of elements (fields).

Overrides:

nElts in class Value.Option

elt

public Value elt(int n)

Description copied from class: Value.Structured

The i-th element (component, field) of 'this' Structured Value, counting from zero.

Specified by:

elt in class Value.Structured