water.exec
Class Type

java.lang.Object
  water.exec.Type

public class Type
extends java.lang.Object

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

Method Summary

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 java.lang.Object

clone, 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