Package net.hydromatic.morel.compile

Class TypeResolver.TypeEnvHolder

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.TypeEnvHolder

All Implemented Interfaces:

TriConsumer<String,Binding.Kind,Type>

Enclosing class:

TypeResolver

private class TypeResolver.TypeEnvHolder
extends Object
implements TriConsumer<String,Binding.Kind,Type>

Contains a TypeResolver.TypeEnv and adds to it by calling TypeResolver.TypeEnv.bind(String, Kind, Function).

Field Summary

Fields

Modifier and Type	Field	Description
private TypeResolver.TypeEnv	typeEnv

Constructor Summary

Constructors

Constructor	Description
TypeEnvHolder(TypeResolver.TypeEnv typeEnv)

Method Summary

Modifier and Type	Method	Description
void	accept(String name, Binding.Kind kind, Type type)	Performs this operation on the given arguments.
void	bind(String name, Unifier.Term term)
private Function<TypeSystem,Unifier.Term>	typeToTerm(Type type)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

typeEnv

private TypeResolver.TypeEnv typeEnv

Constructor Details

TypeEnvHolder

TypeEnvHolder(TypeResolver.TypeEnv typeEnv)

Method Details

accept

public void accept(String name,
 Binding.Kind kind,
 Type type)

Description copied from interface: TriConsumer

Performs this operation on the given arguments.

Specified by:

accept in interface TriConsumer<String,Binding.Kind,Type>

Parameters:

name - the first input argument

kind - the second input argument

type - the third input argument

typeToTerm

private Function<TypeSystem,Unifier.Term> typeToTerm(Type type)

bind

public void bind(String name,
 Unifier.Term term)