Package net.hydromatic.morel.compile
Interface TypeResolver.TypeEnv
-
- All Known Implementing Classes:
TypeResolver.BindTypeEnv,TypeResolver.EmptyTypeEnv
- Enclosing class:
- TypeResolver
static interface TypeResolver.TypeEnvType environment.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description TypeResolver.TypeEnvbind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)default TypeResolver.TypeEnvbind(java.lang.String name, Unifier.Term term)Unifier.Termget(TypeSystem typeSystem, java.lang.String name)booleanhas(java.lang.String name)
-
-
-
Method Detail
-
get
Unifier.Term get(TypeSystem typeSystem, java.lang.String name)
-
has
boolean has(java.lang.String name)
-
bind
TypeResolver.TypeEnv bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
-
bind
default TypeResolver.TypeEnv bind(java.lang.String name, Unifier.Term term)
-
-