Package net.hydromatic.morel.type

Class TypeVisitor<R>

java.lang.Object

net.hydromatic.morel.type.TypeVisitor<R>

Type Parameters:

R - return type from visit methods

Direct Known Subclasses:

TypeShuttle, TypeSystem.VariableCollector

public class TypeVisitor<R>
extends Object

Visitor over Type objects.

See Also:

• Type.accept(TypeVisitor)

Constructor Summary

Constructors

Constructor	Description
TypeVisitor()

Method Summary

Modifier and Type	Method	Description
R	visit(DataType dataType)	Visits a DataType.
R	visit(DummyType dummyType)	Visits a DummyType.
R	visit(FnType fnType)	Visits a FnType.
R	visit(ForallType forallType)	Visits a ForallType.
R	visit(ListType listType)	Visits a ListType.
R	visit(PrimitiveType primitiveType)	Visits a PrimitiveType.
R	visit(RecordType recordType)	Visits a RecordType.
R	visit(TupleType tupleType)	Visits a TupleType.
R	visit(TypeVar typeVar)	Visits a TypeVar.

Methods inherited from class java.lang.Object

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

Constructor Details

TypeVisitor

public TypeVisitor()

Method Details

visit

public R visit(TypeVar typeVar)

Visits a TypeVar.

visit

public R visit(ListType listType)

Visits a ListType.

visit

public R visit(FnType fnType)

Visits a FnType.

visit

public R visit(TupleType tupleType)

Visits a TupleType.

visit

public R visit(RecordType recordType)

Visits a RecordType.

visit

public R visit(DataType dataType)

Visits a DataType.

visit

public R visit(PrimitiveType primitiveType)

Visits a PrimitiveType.

visit

public R visit(ForallType forallType)

Visits a ForallType.

visit

public R visit(DummyType dummyType)

Visits a DummyType.