Uses of Class
net.hydromatic.morel.compile.TypeResolver.PatTerm

Packages that use TypeResolver.PatTerm

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of TypeResolver.PatTerm in net.hydromatic.morel.compile

Method parameters in net.hydromatic.morel.compile with type arguments of type TypeResolver.PatTerm

Modifier and Type	Method	Description
private void	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Consumer<TypeResolver.PatTerm> termMap, @Nullable NavigableSet<String> labelNames, Unifier.Variable v, UnaryOperator<Unifier.Term> accessor)	Derives a type term for a pattern, collecting the names of pattern variables.