orc.type
Class TypeApplication

java.lang.Object
  orc.type.Type
      orc.type.TypeApplication

public class TypeApplication
extends Type

An unevaluated type application.

Author:

dkitchin

Field Summary

java.util.List<Type>	params
Type	ty

Fields inherited from class orc.type.Type

BLANK, BOOLEAN, BOT, INTEGER, LET, NUMBER, STRING, TOP

Constructor Summary

TypeApplication(Type ty, java.util.List<Type> params)

Method Summary

Type	subst(Env<Type> ctx)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, assertSubtype, asTycon, call, call, closed, demote, equal, findVariance, freeVars, isBot, isTop, join, meet, promote, substAll, subtype, supertype, unwrapAs, variances

Methods inherited from class java.lang.Object

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

Field Detail

ty

public Type ty

params

public java.util.List<Type> params

Constructor Detail

TypeApplication

public TypeApplication(Type ty,
                       java.util.List<Type> params)

Method Detail

subst

public Type subst(Env<Type> ctx)
           throws TypeException

Overrides:

subst in class Type

Throws:

TypeException

toString

public java.lang.String toString()

Overrides:

toString in class Type