code.type
Class PredefinedTypes

java.lang.Object
  code.type.PredefinedTypes

public class PredefinedTypes
extends java.lang.Object

Predefined type names

Since:

April 15, 2005

Author:

Sergio Antoy

Field Summary

static TypeConstructor	boolType
static java.lang.String	boolTypeName
static TypeConstructor	charType
static java.lang.String	charTypeName
static TypeConstructor	floatType
static java.lang.String	floatTypeName
(package private) static TypeConstructor	functionType
(package private) static java.lang.String	functionTypeName
static TypeConstructor	intType
static java.lang.String	intTypeName
static TypeConstructor	ioResType
static java.lang.String	ioResTypeName
static TypeConstructor	ioType
static java.lang.String	ioTypeName
static TypeConstructor	ioWorldType
static java.lang.String	ioWorldTypeName
static TypeConstructor	listType
static java.lang.String	listTypeName
static TypeConstructor	opaqueType
static java.lang.String	opaqueTypeName
static TypeConstructorApplication	outputType
static TypeConstructorApplication	stringType
static TypeConstructor	successType
static java.lang.String	successTypeName
(package private) static TypeConstructor	tcaType
(package private) static java.lang.String	tcaTypeName
static TypeConstructor	unitType
static java.lang.String	unitTypeName

Constructor Summary

PredefinedTypes()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

boolTypeName

public static final java.lang.String boolTypeName

See Also:

Constant Field Values

boolType

public static final TypeConstructor boolType

intTypeName

public static final java.lang.String intTypeName

See Also:

Constant Field Values

intType

public static final TypeConstructor intType

charTypeName

public static final java.lang.String charTypeName

See Also:

Constant Field Values

charType

public static final TypeConstructor charType

floatTypeName

public static final java.lang.String floatTypeName

See Also:

Constant Field Values

floatType

public static final TypeConstructor floatType

successTypeName

public static final java.lang.String successTypeName

See Also:

Constant Field Values

successType

public static final TypeConstructor successType

ioWorldTypeName

public static final java.lang.String ioWorldTypeName

See Also:

Constant Field Values

ioWorldType

public static final TypeConstructor ioWorldType

ioResTypeName

public static final java.lang.String ioResTypeName

See Also:

Constant Field Values

ioResType

public static final TypeConstructor ioResType

ioTypeName

public static final java.lang.String ioTypeName

See Also:

Constant Field Values

ioType

public static final TypeConstructor ioType

unitTypeName

public static final java.lang.String unitTypeName

See Also:

Constant Field Values

unitType

public static final TypeConstructor unitType

listTypeName

public static final java.lang.String listTypeName

See Also:

Constant Field Values

listType

public static final TypeConstructor listType

opaqueTypeName

public static final java.lang.String opaqueTypeName

See Also:

Constant Field Values

opaqueType

public static final TypeConstructor opaqueType

stringType

public static final TypeConstructorApplication stringType

outputType

public static final TypeConstructorApplication outputType

functionTypeName

static final java.lang.String functionTypeName

See Also:

Constant Field Values

functionType

static final TypeConstructor functionType

tcaTypeName

static final java.lang.String tcaTypeName

See Also:

Constant Field Values

tcaType

static final TypeConstructor tcaType

Constructor Detail

PredefinedTypes

public PredefinedTypes()