water.exec

Class Type

java.lang.Object

water.Iced

water.exec.Type

All Implemented Interfaces:

java.lang.Cloneable, Freezable

public class Type
extends Iced

Typing system for a generic R-like parser. Supports Hindley-Milner style type inference.

Method Summary

Methods

Modifier and Type	Method and Description
static Type	anyary(Type[] ts)
static Type	dblary()
static Type	fcn(Type[] ts)
Type	ret()
java.lang.String	toString()
static Type	unbound()
static Type	varargs(Type t)

Methods inherited from class water.Iced

clone, frozenType, init, newInstance, read, toDocField, write, writeJSON, writeJSONFields

Methods inherited from class java.lang.Object

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

Method Detail

unbound

public static Type unbound()

fcn

public static Type fcn(Type[] ts)

varargs

public static Type varargs(Type t)

dblary

public static Type dblary()

anyary

public static Type anyary(Type[] ts)

ret

public Type ret()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object