Package net.hydromatic.morel.type

Class TypeShuttle

java.lang.Object

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

net.hydromatic.morel.type.TypeShuttle

public class TypeShuttle
extends TypeVisitor<Type>

Visitor over Type objects that returns types.

Field Summary

Fields

Modifier and Type	Field	Description
private final TypeSystem	typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeShuttle(TypeSystem typeSystem)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

typeSystem

private final TypeSystem typeSystem

Constructor Details

TypeShuttle

protected TypeShuttle(TypeSystem typeSystem)

Method Details

visit

public Type visit(TypeVar typeVar)

Description copied from class: TypeVisitor

Visits a TypeVar.

Overrides:

visit in class TypeVisitor<Type>

visit

public ListType visit(ListType listType)

Description copied from class: TypeVisitor

Visits a ListType.

Overrides:

visit in class TypeVisitor<Type>

visit

public FnType visit(FnType fnType)

Description copied from class: TypeVisitor

Visits a FnType.

Overrides:

visit in class TypeVisitor<Type>

visit

public TupleType visit(TupleType tupleType)

Description copied from class: TypeVisitor

Visits a TupleType.

Overrides:

visit in class TypeVisitor<Type>

visit

public RecordType visit(RecordType recordType)

Description copied from class: TypeVisitor

Visits a RecordType.

Overrides:

visit in class TypeVisitor<Type>

visit

public Type visit(DataType dataType)

Description copied from class: TypeVisitor

Visits a DataType.

Overrides:

visit in class TypeVisitor<Type>

visit

public PrimitiveType visit(PrimitiveType primitiveType)

Description copied from class: TypeVisitor

Visits a PrimitiveType.

Overrides:

visit in class TypeVisitor<Type>

visit

public ForallType visit(ForallType forallType)

Description copied from class: TypeVisitor

Visits a ForallType.

Overrides:

visit in class TypeVisitor<Type>

visit

public DummyType visit(DummyType dummyType)

Description copied from class: TypeVisitor

Visits a DummyType.

Overrides:

visit in class TypeVisitor<Type>