la.la

Class Value.Maybe

java.lang.Object

la.la.Value

la.la.Value.Structured

la.la.Value.Option

la.la.Value.Maybe

All Implemented Interfaces:

java.lang.Comparable<Value>

Direct Known Subclasses:

Value.Maybe.Just

Enclosing class:

Value

public abstract static class Value.Maybe
extends Value.Option

Maybe t = None | Just t, for where a Value may be missing (None), or present (Just v). Also see Inc_Or t0 t1.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Value.Maybe.Just The Value is present, Just v.

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
static int	JUST NONE = 0, JUST = 1.
static Value.Maybe	None None, where the optional Value is missing, absent, late,...
static int	NONE NONE = 0, JUST = 1.

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
Maybe()

Method Summary

Modifier and Type	Method and Description
Type.Option	type() Its Type is Type.MAYBE.

Methods inherited from class la.la.Value.Option

closes, compareTo, n, nElts, opens, separator

Methods inherited from class la.la.Value.Structured

AoM, elt, 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

NONE

public static final int NONE

NONE = 0, JUST = 1.

See Also:

Constant Field Values

JUST

public static final int JUST

NONE = 0, JUST = 1.

See Also:

Constant Field Values

None

public static final Value.Maybe None

None, where the optional Value is missing, absent, late,... .

Constructor Detail

Maybe

public Maybe()

Method Detail

type

public Type.Option type()

Its Type is Type.MAYBE.

Specified by:

type in class Value