Uses of Interface
net.hydromatic.morel.type.TypeSystem.Transaction

Packages that use TypeSystem.Transaction

Package	Description
net.hydromatic.morel.type	Type system.

Uses of TypeSystem.Transaction in net.hydromatic.morel.type

Classes in net.hydromatic.morel.type that implement TypeSystem.Transaction

Modifier and Type	Class	Description
private class	TypeSystem.TransactionImpl	Implementation of TypeSystem.Transaction.

Methods in net.hydromatic.morel.type that return TypeSystem.Transaction

Modifier and Type	Method	Description
TypeSystem.Transaction	TypeSystem.transaction()

Methods in net.hydromatic.morel.type with parameters of type TypeSystem.Transaction

Modifier and Type	Method	Description
Type	DataType.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
default Type	Type.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Returns a copy of this type, specialized by substituting type parameters.
Type	TypeVar.substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
protected Type	DataType.substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Second part of the implementation of DataType.substitute(TypeSystem, List, TypeSystem.Transaction), called if there is not already a type of the given description.
protected Type	TemporaryType.substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)
TemporaryType	TypeSystem.temporaryType(String name, List<? extends Type> parameterTypes, TypeSystem.Transaction transaction_, boolean withScheme)	Creates a temporary type.