Package net.hydromatic.morel.compile

Class TypeResolver.Subst

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.Subst

Direct Known Subclasses:

TypeResolver.EmptySubst, TypeResolver.PlusSubst

Enclosing class:

TypeResolver

private abstract static class TypeResolver.Subst
extends java.lang.Object

Substitution.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static TypeResolver.Subst	EMPTY

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Subst()

Method Summary

Modifier and Type	Method	Description
(package private) abstract Unifier.Variable	get(TypeVar typeVar)
(package private) TypeResolver.Subst	plus(TypeVar typeVar, Unifier.Variable variable)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

static final TypeResolver.Subst EMPTY

Constructor Detail

Subst

private Subst()

Method Detail

plus

TypeResolver.Subst plus(TypeVar typeVar,
                        Unifier.Variable variable)

get

abstract Unifier.Variable get(TypeVar typeVar)