Package net.hydromatic.morel.type
Class TypeShuttle
Visitor over
Type objects that returns types.-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionVisits aDataType.Visits aDummyType.Visits aFnType.visit(ForallType forallType) Visits aForallType.Visits aListType.visit(PrimitiveType primitiveType) Visits aPrimitiveType.visit(RecordType recordType) Visits aRecordType.Visits aTupleType.Visits aTypeVar.
-
Field Details
-
typeSystem
-
-
Constructor Details
-
TypeShuttle
-
-
Method Details
-
visit
Description copied from class:TypeVisitorVisits aTypeVar.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aListType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aFnType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aTupleType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aRecordType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aDataType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aPrimitiveType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aForallType.- Overrides:
visitin classTypeVisitor<Type>
-
visit
Description copied from class:TypeVisitorVisits aDummyType.- Overrides:
visitin classTypeVisitor<Type>
-