Type

java.lang.Object
- la.la.Value
- - la.la.Value.Structured
  - - la.la.Value.Option
    - - la.la.Type

All Implemented Interfaces:

java.lang.Comparable<Value>

Direct Known Subclasses:

Type.Atomic, Type.Function, Type.Model, Type.Structured, Type.TYPE
```
public abstract class Type
extends Value.Option
```
The Types of Values; it is for a very simple dynamic type system; Type.Enum and Type.Option are interesting.

Nested Class Summary

Nested Classes
Modifier and Type	Class and Description
`static class`	`Type.Atomic` The superclass of Atomic Types, notably of `Discrete` and `CTS`.
`static class`	`Type.Char` The class of the `CHAR` Type.
`static class`	`Type.Cts` The class of the `CTS` Type.
`static class`	`Type.Discrete` The superclass of Discrete Types.
`static class`	`Type.Enum` Enum Types, e.g., DNA={A,C,G,T}, types of `Value.Enum`.
`static class`	`Type.Function` Function Types.
`static class`	`Type.Int` The class of the `INT` Type.
`static class`	`Type.Model` Model Types.
`static class`	`Type.Option` Option Types, e.g., `Value.List` : `LIST`, or `Tree` where `Tree e = emptyT \| fork (Tree e) e (Tree e)`. Also see `Type.Enum`.
`static class`	`Type.Structured` Superclass of `Type.Vector` etc; also see `Type.Atomic`.
`static class`	`Type.Triv` The class of the `TRIV` Type.
`static class`	`Type.Tuple` The Types of k-Tuples; there is a different type for each value of k.
`static class`	`Type.TYPE` The class of the Type of a Type; see `TYPE`.
`static class`	`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
Modifier and Type	Field and Description
`static Type.Enum`	`BOOL` Also see `Value.Bool`.
`static int`	`BOOL_N` Integer codes for various "types" of Type.
`static Type.Char`	`CHAR` Also see `Value.Char`.
`static int`	`CHAR_N` Integer codes for various "types" of Type.
`static Type`	`CHARS` Also see `Value.Chars`.
`static Type`	`CTS` Also see `Value.Cts`.
`static int`	`CTS_N` Integer codes for various "types" of Type.
`static Type.Enum`	`DNA` DNA, an example `Type.Enum` Type.
`static int`	`ENUM_N` Integer codes for various "types" of Type.
`static Type`	`FUNCTION` Also see `Function`.
`static int`	`FUNCTION_N` Integer codes for various "types" of Type.
`static Type.Option`	`INC_OR` Inclusive Or, as in `Inc_Or` Int Char, say.
`static Type.Int`	`INT` Also see `Value.Int`.
`static int`	`INT_N` Integer codes for various "types" of Type.
`static Type.Option`	`LIST` Also see `Value.List`.
`static Type`	`MATRIX_CTS`
`static Type`	`MATRIX_INT`
`static Type.Option`	`MAYBE` `Maybe` T, for optional Values, missing data, etc.
`static Type`	`MODEL` For statistical `Models` and `mml`.
`static int`	`MODEL_N` Integer codes for various "types" of Type.
`protected java.lang.String`	`name` The (optional) name of 'this' Type.
`static int`	`OPTION_N` Integer codes for various "types" of Type.
`static Type.Tuple`	`PAIR` Also see `Value.Tuple`.
`static Type.Tuple`	`TRIPLE` Also see `Value.Tuple`.
`static Type.Triv`	`TRIV` Also see `Value.Triv`.
`static int`	`TRIV_N` Integer codes for various "types" of Type.
`static int`	`TUPLE_N` Integer codes for various "types" of Type.
`static Type`	`TYPE` The Type of a Type is TYPE.
`static int`	`TYPE_N` Integer codes for various "types" of Type.
`static Type`	`VECTOR`
`static Type.Vector`	`VECTOR_CHARS`
`static Type.Vector`	`VECTOR_CTS`
`static Type.Vector`	`VECTOR_INT`
`static int`	`VECTOR_N` Integer codes for various "types" of Type.

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

Type(java.lang.String name)
Special case when ids={} and arities={}.

Constructors
Constructor and Description
`Type(java.lang.String name)` Special case when ids={} and arities={}.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`appendSB(java.lang.StringBuffer sb)` Also see `Expression.appendSB(java.lang.StringBuffer)`.
`boolean`	`contains(Type t)` Does 'this' Type contain (or equal) Type 't'?
`Value`	`elt(int i)` This default throws an error, inapplicable.
`static void`	`main(java.lang.String[] argv)` 'main' allows Type to be tested (v.slightly) on its own e.g., `java Type`.
`int`	`nElts()` This default returns 0; override it if necessary.
`boolean`	`ni(Value v)` ¿Is Value v's in this Type; does Value 'v' have exactly 'this' Type? (--???or_Inclusion???)
`static java.lang.String`	`show(Value v)` Show a Value 'v' -- which must not be infinite, or even "big".
`static java.lang.String`	`show(Value[] vs)` `show(Value)` several Values.
`java.lang.String`	`toString()` Return a String representation of 'this' Type.
`static Type.Tuple`	`tuple(int k)` [null, null, PAIR, TRIPLE, 4_Tuple, ...].
`Type`	`type()` Return `TYPE`.

Methods inherited from class la.la.Value.Option
closes, compareTo, n, 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

- Field Detail
  - TRIV_N
```
public static final int TRIV_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - BOOL_N
```
public static final int BOOL_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - CHAR_N
```
public static final int CHAR_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - INT_N
```
public static final int INT_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - CTS_N
```
public static final int CTS_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - ENUM_N
```
public static final int ENUM_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - OPTION_N
```
public static final int OPTION_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - VECTOR_N
```
public static final int VECTOR_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - TUPLE_N
```
public static final int TUPLE_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - FUNCTION_N
```
public static final int FUNCTION_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - MODEL_N
```
public static final int MODEL_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - TYPE_N
```
public static final int TYPE_N
```
    Integer codes for various "types" of Type.
    
    See Also:
    
    Constant Field Values
  - name
```
protected final java.lang.String name
```
    The (optional) name of 'this' Type.
  - TYPE
```
public static final Type TYPE
```
    The Type of a Type is TYPE. TYPE also has Type TYPE. See class Type.TYPE.
  - DNA
```
public static final Type.Enum DNA
```
    DNA, an example Type.Enum Type.
  - TRIV
```
public static final Type.Triv TRIV
```
    Also see Value.Triv.
  - BOOL
```
public static final Type.Enum BOOL
```
    Also see Value.Bool.
  - INT
```
public static final Type.Int INT
```
    Also see Value.Int.
  - CHAR
```
public static final Type.Char CHAR
```
    Also see Value.Char.
  - CHARS
```
public static final Type CHARS
```
    Also see Value.Chars.
  - CTS
```
public static final Type CTS
```
    Also see Value.Cts.
  - VECTOR
```
public static final Type VECTOR
```
  - VECTOR_CTS
```
public static final Type.Vector VECTOR_CTS
```
  - MATRIX_CTS
```
public static final Type MATRIX_CTS
```
  - VECTOR_INT
```
public static final Type.Vector VECTOR_INT
```
  - MATRIX_INT
```
public static final Type MATRIX_INT
```
  - VECTOR_CHARS
```
public static final Type.Vector VECTOR_CHARS
```
  - PAIR
```
public static final Type.Tuple PAIR
```
    Also see Value.Tuple.
  - TRIPLE
```
public static final Type.Tuple TRIPLE
```
    Also see Value.Tuple.
  - LIST
```
public static final Type.Option LIST
```
    Also see Value.List.
  - MAYBE
```
public static final Type.Option MAYBE
```
    Maybe T, for optional Values, missing data, etc.
  - INC_OR
```
public static final Type.Option INC_OR
```
    Inclusive Or, as in Inc_Or Int Char, say.
  - FUNCTION
```
public static final Type FUNCTION
```
    Also see Function.
  - MODEL
```
public static final Type MODEL
```
    For statistical Models and mml.
- Constructor Detail
  - Type
```
public Type(java.lang.String name)
```
    Special case when ids={} and arities={}.
- Method Detail
  - type
```
public Type type()
```
    Return TYPE.
    
    Specified by:
    
    type in class Value
  - nElts
```
public int nElts()
```
    This default returns 0; override it if necessary.
    
    Overrides:
    
    nElts in class Value.Option
  - elt
```
public Value elt(int i)
```
    This default throws an error, inapplicable.
    
    Specified by:
    
    elt in class Value.Structured
  - toString
```
public java.lang.String toString()
```
    Return a String representation of 'this' Type.
    
    Overrides:
    
    toString in class Value.Structured
  - appendSB
```
public void appendSB(java.lang.StringBuffer sb)
```
    Also see Expression.appendSB(java.lang.StringBuffer).
  - ni
```
public boolean ni(Value v)
```
    ¿Is Value v's in this Type; does Value 'v' have exactly 'this' Type? (--???or_Inclusion???)
  - contains
```
public boolean contains(Type t)
```
    Does 'this' Type contain (or equal) Type 't'?
  - tuple
```
public static Type.Tuple tuple(int k)
```
    [null, null, PAIR, TRIPLE, 4_Tuple, ...].
  - show
```
public static java.lang.String show(Value v)
```
    Show a Value 'v' -- which must not be infinite, or even "big".
  - show
```
public static java.lang.String show(Value[] vs)
```
    show(Value) several Values.
  - main
```
public static void main(java.lang.String[] argv)
```
    'main' allows Type to be tested (v.slightly) on its own e.g., java Type.

Class Type

Nested Class Summary

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

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

Field Summary

Fields inherited from class la.la.Value

Constructor Summary

Method Summary

Methods inherited from class la.la.Value.Option

Methods inherited from class la.la.Value.Structured

Methods inherited from class la.la.Value

Methods inherited from class java.lang.Object

Field Detail

TRIV_N

BOOL_N

CHAR_N

INT_N

CTS_N

ENUM_N

OPTION_N

VECTOR_N

TUPLE_N

FUNCTION_N

MODEL_N

TYPE_N

name

TYPE

DNA

TRIV

BOOL

INT

CHAR

CHARS

CTS

VECTOR

VECTOR_CTS

MATRIX_CTS

VECTOR_INT

MATRIX_INT

VECTOR_CHARS

PAIR

TRIPLE

LIST

MAYBE

INC_OR

FUNCTION

MODEL

Constructor Detail

Type

Method Detail

type

nElts

elt

toString

appendSB

ni

contains

tuple

show

show

main