Package net.hydromatic.morel.compile

Interface TypeResolver.TypeEnv

All Known Implementing Classes:

TypeResolver.BindTypeEnv, TypeResolver.EmptyTypeEnv

Enclosing class:

TypeResolver

static interface TypeResolver.TypeEnv

Type environment.

Method Summary

Modifier and Type	Method	Description
TypeResolver.TypeEnv	bind(String name, Function<TypeSystem,Unifier.Term> termFactory)
default TypeResolver.TypeEnv	bind(String name, Unifier.Term term)
Unifier.Term	get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
boolean	has(String name)

Method Detail

get

Unifier.Term get(TypeSystem typeSystem,
                 String name,
                 Function<String,RuntimeException> exceptionFactory)

has

boolean has(String name)

bind

TypeResolver.TypeEnv bind(String name,
                          Function<TypeSystem,Unifier.Term> termFactory)

bind

default TypeResolver.TypeEnv bind(String name,
                                  Unifier.Term term)