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 Details

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)