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

Fields in net.hydromatic.morel.type declared as ForallType

Modifier and Type	Field	Description
(package private) ForallType	Keys.ForallTypeApplyKey.forallType

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(List<TypeVar> typeVars, 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
static Type.Key	Keys.forallTypeApply(ForallType forallType, List<? extends Type> argTypes)	Returns a key that identifies a ForallType with monomorphic types substituted for its type parameters.
ForallType	TypeShuttle.visit(ForallType forallType)
R	TypeVisitor.visit(ForallType forallType)	Visits a ForallType.

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

Constructor	Description
ForallTypeApplyKey(ForallType forallType, com.google.common.collect.ImmutableList<Type> argTypes)