Uses of Class
net.hydromatic.morel.type.ForallType

Packages that use ForallType

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

Uses of ForallType in net.hydromatic.morel.type

Methods in net.hydromatic.morel.type that return ForallType

Modifier and Type	Method	Description
ForallType	ForallType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
ForallType	TypeSystem.forallType(int typeCount, Type type)	Creates a "for all" type.
ForallType	TypeShuttle.visit(ForallType forallType)

Methods in net.hydromatic.morel.type with parameters of type ForallType

Modifier and Type	Method	Description
ForallType	TypeShuttle.visit(ForallType forallType)
R	TypeVisitor.visit(ForallType forallType)	Visits a ForallType.