Package net.hydromatic.morel.compile

Interface TypeResolver.TypeEnv

All Known Implementing Classes:

TypeResolver.BindTypeEnv, TypeResolver.EmptyTypeEnv, TypeResolver.EnvironmentTypeEnv

Enclosing class:

TypeResolver

static interface TypeResolver.TypeEnv

Type environment.

Method Summary

Modifier and Type	Method	Description
default TypeResolver.TypeEnv	bind(String name, Binding.Kind kind, Function<TypeSystem,Unifier.Term> termFactory)
default TypeResolver.TypeEnv	bind(String name, Binding.Kind kind, Unifier.Term term)
default TypeResolver.TypeEnv	bind(String name, Unifier.Term term)
default void	collectInstances(TypeSystem typeSystem, String name, Consumer<Unifier.Term> consumer)	Collects terms that are instance of name.
default int	count(String name)	Returns the number of times a name is bound.
Unifier.Term	get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)	Returns a term for the variable with a given name, creating if necessary.
default Binding.Kind	getKind(String name, Unifier.Term term)
@Nullable Type	getTypeOpt(String name)	Returns the datatype of a variable, or null if no type is known.
boolean	has(String name)	Returns whether a variable of the given name is defined in this environment.
default boolean	hasOverloaded(String name)	Returns whether a given name is overloaded in this environment.
static Function<String,RuntimeException>	onlyValidInQuery(AstNode node)	Exception factory where a missing symbol is because we are not in a query.
static Function<String,RuntimeException>	oops(AstNode node)	Exception factory where a missing symbol is an internal error.
static Function<String,RuntimeException>	unbound(Ast.Id id)	Exception factory where a missing symbol is a user error.

Method Details

get

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

Returns a term for the variable with a given name, creating if necessary.

getTypeOpt

@Nullable Type getTypeOpt(String name)

Returns the datatype of a variable, or null if no type is known.

Generally, type is known for built-in values but not for values in this compilation unit.

count

default int count(String name)

Returns the number of times a name is bound.

collectInstances

default void collectInstances(TypeSystem typeSystem,
 String name,
 Consumer<Unifier.Term> consumer)

Collects terms that are instance of name.

has

boolean has(String name)

Returns whether a variable of the given name is defined in this environment.

hasOverloaded

default boolean hasOverloaded(String name)

Returns whether a given name is overloaded in this environment.

bind

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

bind

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

bind

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

getKind

default Binding.Kind getKind(String name,
 Unifier.Term term)

oops

static Function<String,RuntimeException> oops(AstNode node)

Exception factory where a missing symbol is an internal error.

onlyValidInQuery

static Function<String,RuntimeException> onlyValidInQuery(AstNode node)

Exception factory where a missing symbol is because we are not in a query.

unbound

static Function<String,RuntimeException> unbound(Ast.Id id)

Exception factory where a missing symbol is a user error.