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 Object

Substitution.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final 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 Details

EMPTY

static final TypeResolver.Subst EMPTY

Constructor Details

Subst

private Subst()

Method Details

plus

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

get

abstract Unifier.Variable get(TypeVar typeVar)