Package net.hydromatic.morel.type

Class TypeUnifier

java.lang.Object

net.hydromatic.morel.type.TypeUnifier

public class TypeUnifier
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private Map<Integer,Type>	variables

Constructor Summary

Constructors

Constructor	Description
TypeUnifier()

Method Summary

Modifier and Type	Method	Description
(package private) boolean	tryUnify(Type type1, Type type2)
static @Nullable Map<Integer,Type>	unify(Type type1, Type type2)

Methods inherited from class java.lang.Object

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

Field Details

variables

private Map<Integer,Type> variables

Constructor Details

TypeUnifier

public TypeUnifier()

Method Details

unify

public static @Nullable Map<Integer,Type> unify(Type type1,
 Type type2)

tryUnify

boolean tryUnify(Type type1,
 Type type2)