Package net.hydromatic.morel.compile

Class TypeResolver.BindTypeEnv

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

All Implemented Interfaces:

TypeResolver.TypeEnv

Enclosing class:

TypeResolver

private static class TypeResolver.BindTypeEnv
extends java.lang.Object
implements TypeResolver.TypeEnv

A type environment that consists of a type environment plus one binding.

Field Summary

Fields

Modifier and Type	Field	Description
private java.lang.String	definedName
private TypeResolver.TypeEnv	parent
private java.util.function.Function<TypeSystem,Unifier.Term>	termFactory

Constructor Summary

Constructors

Constructor	Description
BindTypeEnv(java.lang.String definedName, java.util.function.Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)

Method Summary

Modifier and Type	Method	Description
TypeResolver.TypeEnv	bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
Unifier.Term	get(TypeSystem typeSystem, java.lang.String name)
boolean	has(java.lang.String name)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.hydromatic.morel.compile.TypeResolver.TypeEnv

bind

Field Detail

definedName

private final java.lang.String definedName

termFactory

private final java.util.function.Function<TypeSystem,Unifier.Term> termFactory

parent

private final TypeResolver.TypeEnv parent

Constructor Detail

BindTypeEnv

BindTypeEnv(java.lang.String definedName,
            java.util.function.Function<TypeSystem,Unifier.Term> termFactory,
            TypeResolver.TypeEnv parent)

Method Detail

get

public Unifier.Term get(TypeSystem typeSystem,
                        java.lang.String name)

Specified by:

get in interface TypeResolver.TypeEnv

has

public boolean has(java.lang.String name)

Specified by:

has in interface TypeResolver.TypeEnv

bind

public TypeResolver.TypeEnv bind(java.lang.String name,
                                 java.util.function.Function<TypeSystem,Unifier.Term> termFactory)

Specified by:

bind in interface TypeResolver.TypeEnv

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object