Package net.hydromatic.morel.compile

Class TypeMap.TermToTypeConverter

java.lang.Object

net.hydromatic.morel.compile.TypeMap.TermToTypeConverter

All Implemented Interfaces:

Unifier.TermVisitor<Type>

Enclosing class:

TypeMap

private static class TypeMap.TermToTypeConverter
extends Object
implements Unifier.TermVisitor<Type>

Visitor that converts type terms into actual types.

Field Summary

Fields

Modifier and Type	Field	Description
private final TypeMap	typeMap

Constructor Summary

Constructors

Constructor	Description
TermToTypeConverter(TypeMap typeMap)

Method Summary

Modifier and Type	Method	Description
Type	visit(Unifier.Sequence sequence)
Type	visit(Unifier.Variable variable)

Methods inherited from class java.lang.Object

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

Field Details

typeMap

private final TypeMap typeMap

Constructor Details

TermToTypeConverter

TermToTypeConverter(TypeMap typeMap)

Method Details

visit

public Type visit(Unifier.Sequence sequence)

Specified by:

visit in interface Unifier.TermVisitor<Type>

visit

public Type visit(Unifier.Variable variable)

Specified by:

visit in interface Unifier.TermVisitor<Type>