Uses of Enum
net.hydromatic.morel.type.Binding.Kind
Packages that use Binding.Kind
Package
Description
Validates programs (represented as
AstNode),
deduces their type, and compiles them into code that can be evaluated.Type system.
-
Uses of Binding.Kind in net.hydromatic.morel.compile
Fields in net.hydromatic.morel.compile declared as Binding.KindMethods in net.hydromatic.morel.compile that return Binding.KindModifier and TypeMethodDescriptiondefault Binding.KindTypeResolver.TypeEnv.getKind(String name, Unifier.Term term) Methods in net.hydromatic.morel.compile with parameters of type Binding.KindModifier and TypeMethodDescriptionvoidTypeResolver.TypeEnvHolder.accept(String name, Binding.Kind kind, Type type) default TypeResolver.TypeEnvTypeResolver.TypeEnv.bind(String name, Binding.Kind kind, Function<TypeSystem, Unifier.Term> termFactory) default TypeResolver.TypeEnvTypeResolver.TypeEnv.bind(String name, Binding.Kind kind, Unifier.Term term) (package private) static Compiles.PatternBinderCompiles.binding(TypeSystem typeSystem, Binding.Kind kind, List<Binding> bindings) Method parameters in net.hydromatic.morel.compile with type arguments of type Binding.KindModifier and TypeMethodDescriptionvoidEnvironment.forEachType(TypeSystem typeSystem, TriConsumer<String, Binding.Kind, Type> consumer) Calls a consumer for each variable and its type.Constructors in net.hydromatic.morel.compile with parameters of type Binding.KindModifierConstructorDescription(package private)BindTypeEnv(String definedName, Binding.Kind kind, Function<TypeSystem, Unifier.Term> termFactory, TypeResolver.TypeEnv parent) -
Uses of Binding.Kind in net.hydromatic.morel.type
Fields in net.hydromatic.morel.type declared as Binding.KindModifier and TypeFieldDescriptionfinal Binding.KindBinding.kindDistinguishes between regular and overloaded values.Methods in net.hydromatic.morel.type that return Binding.KindModifier and TypeMethodDescriptionstatic Binding.KindReturns the enum constant of this type with the specified name.static Binding.Kind[]Binding.Kind.values()Returns an array containing the constants of this enum type, in the order they are declared.Methods in net.hydromatic.morel.type with parameters of type Binding.KindConstructors in net.hydromatic.morel.type with parameters of type Binding.KindModifierConstructorDescriptionprivateBinding(Core.NamedPat id, @Nullable Core.IdPat overloadId, Core.Exp exp, Object value, boolean parameter, Binding.Kind kind)