Package net.hydromatic.morel.compile

Enum BuiltIn.Datatype

java.lang.Object

java.lang.Enum<BuiltIn.Datatype>

net.hydromatic.morel.compile.BuiltIn.Datatype

All Implemented Interfaces:

Serializable, Comparable<BuiltIn.Datatype>, java.lang.constant.Constable, BuiltIn.BuiltInType

Enclosing class:

BuiltIn

public static enum BuiltIn.Datatype
extends Enum<BuiltIn.Datatype>
implements BuiltIn.BuiltInType

Built-in datatype.

order and option are non-internal.

The two internal datatypes,

 datatype 'a list = NIL | CONS of ('a * 'a list);
 datatype bool = FALSE | TRUE;
 

are not available from within programs but used for internal purposes.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
BOOL	Analog of bool for checking that matches are exhaustive.
LIST	Analog of list for checking that matches are exhaustive.
OPTION
ORDER

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	internal
private final String	mlName
private final UnaryOperator<BuiltIn.DataTypeHelper>	transform
private final int	varCount

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Datatype(String mlName, boolean internal, int varCount, UnaryOperator<BuiltIn.DataTypeHelper> transform)

Method Summary

Modifier and Type	Method	Description
boolean	isInternal()
String	mlName()
UnaryOperator<BuiltIn.DataTypeHelper>	transform()
static BuiltIn.Datatype	valueOf(String name)	Returns the enum constant of this type with the specified name.
static BuiltIn.Datatype[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.
int	varCount()

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

ORDER

public static final BuiltIn.Datatype ORDER

OPTION

public static final BuiltIn.Datatype OPTION

LIST

public static final BuiltIn.Datatype LIST

Analog of list for checking that matches are exhaustive. Owns the NIL and CONS type constructors.

BOOL

public static final BuiltIn.Datatype BOOL

Analog of bool for checking that matches are exhaustive. Owns the FALSE and TRUE type constructors.

Field Details

mlName

private final String mlName

internal

private final boolean internal

varCount

private final int varCount

transform

private final UnaryOperator<BuiltIn.DataTypeHelper> transform

Constructor Details

Datatype

private Datatype(String mlName,
 boolean internal,
 int varCount,
 UnaryOperator<BuiltIn.DataTypeHelper> transform)

Method Details

values

public static BuiltIn.Datatype[] values()

Returns an array containing the constants of this enum type, in the order they are declared.

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static BuiltIn.Datatype valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

mlName

public String mlName()

Specified by:

mlName in interface BuiltIn.BuiltInType

varCount

public int varCount()

Specified by:

varCount in interface BuiltIn.BuiltInType

transform

public UnaryOperator<BuiltIn.DataTypeHelper> transform()

Specified by:

transform in interface BuiltIn.BuiltInType

isInternal

public boolean isInternal()

Specified by:

isInternal in interface BuiltIn.BuiltInType