TypeMap.TermToTypeConverter (morel 0.3.0 API)

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 TypeMap typeMap
- Constructor Summary
  
  Constructors
  Constructor Description
  
  TermToTypeConverter(TypeMap typeMap)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - typeMap
```
private final TypeMap typeMap
```
- Constructor Detail
  - TermToTypeConverter
```
TermToTypeConverter(TypeMap typeMap)
```
- Method Detail
  - 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>