A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages

A

a - Variable in class net.hydromatic.morel.ast.Ast.PrefixCall

a0 - Variable in class net.hydromatic.morel.ast.Ast.InfixCall

a1 - Variable in class net.hydromatic.morel.ast.Ast.InfixCall

ABS - net.hydromatic.morel.compile.BuiltIn

Function "abs", of type "int → int".

ABS - Static variable in class net.hydromatic.morel.eval.Codes

An applicable that returns the absolute value of an int.

AbstractImmutableList<E> - Class in net.hydromatic.morel.util

Base class for lists whose contents are constant after creation.

AbstractImmutableList() - Constructor for class net.hydromatic.morel.util.AbstractImmutableList

accept(int, K, V) - Method in interface net.hydromatic.morel.util.Ord.IntObjObjConsumer

accept(int, K, V) - Method in interface net.hydromatic.morel.util.Pair.PairWithOrdinalConsumer

Performs this operation on the given arguments.

accept(String, Type) - Method in class net.hydromatic.morel.compile.TypeResolver.TypeEnvHolder

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Aggregate

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.AnnotatedExp

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.AnnotatedPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Apply

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Case

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.CompositeType

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Con0Pat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.ConPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.DatatypeBind

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.DatatypeDecl

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Decl

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Exp

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Fn

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.From

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.FunBind

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.FunctionType

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.FunDecl

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.FunMatch

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Id

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.IdPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.If

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.InfixCall

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.InfixPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.LetExp

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.List

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.ListPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Literal

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.LiteralPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Match

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.NamedType

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Pat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.PrefixCall

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Record

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.RecordPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.RecordSelector

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.RecordType

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Tuple

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.TuplePat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.TupleType

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.TyCon

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.Type

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.TyVar

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.ValBind

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.ValDecl

accept(Shuttle) - Method in class net.hydromatic.morel.ast.Ast.WildcardPat

accept(Shuttle) - Method in class net.hydromatic.morel.ast.AstNode

Accepts a shuttle, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.ApplyType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.DataType

accept(TypeVisitor<R>) - Method in enum net.hydromatic.morel.type.DummyType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.FnType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.ForallType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.ListType

accept(TypeVisitor<R>) - Method in enum net.hydromatic.morel.type.PrimitiveType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.RecordType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.TupleType

accept(TypeVisitor<R>) - Method in interface net.hydromatic.morel.type.Type

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.TypeSystem.TemporaryType

accept(TypeVisitor<R>) - Method in class net.hydromatic.morel.type.TypeVar

accept(Unifier.TermVisitor<R>) - Method in class net.hydromatic.morel.util.Unifier.Sequence

accept(Unifier.TermVisitor<R>) - Method in interface net.hydromatic.morel.util.Unifier.Term

accept(Unifier.TermVisitor<R>) - Method in class net.hydromatic.morel.util.Unifier.Variable

accept(Unifier.Variable, Unifier.Term, List<Unifier.TermTerm>) - Method in interface net.hydromatic.morel.util.Unifier.Action

act(Unifier.Variable, Unifier.Term, List<Unifier.TermTerm>, Map<Unifier.Variable, Unifier.Action>, int) - Method in class net.hydromatic.morel.util.MartelliUnifier

actionMap - Variable in class net.hydromatic.morel.compile.TypeResolver

add(int, E) - Method in class net.hydromatic.morel.util.AbstractImmutableList

add(int, E) - Method in class net.hydromatic.morel.util.TailList

add(int, Pair<K, V>) - Method in class net.hydromatic.morel.util.Pair.MutableZipList

add(E) - Method in class net.hydromatic.morel.util.AbstractImmutableList

add(E) - Method in class net.hydromatic.morel.util.TailList

addAll(int, Collection<? extends E>) - Method in class net.hydromatic.morel.util.AbstractImmutableList

addAll(int, Collection<? extends E>) - Method in class net.hydromatic.morel.util.TailList

addAll(Collection<? extends E>) - Method in class net.hydromatic.morel.util.AbstractImmutableList

addAll(Collection<? extends E>) - Method in class net.hydromatic.morel.util.TailList

AdjacentIterator(Iterator<E>) - Constructor for class net.hydromatic.morel.util.Pair.AdjacentIterator

adjacents(Iterable<T>) - Static method in class net.hydromatic.morel.util.Pair

Returns an iterator that iterates over (i, i + 1) pairs in an iterable.

aggregate - Variable in class net.hydromatic.morel.ast.Ast.Aggregate

aggregate(Pos, Ast.Exp, Ast.Exp, Ast.Id) - Method in enum net.hydromatic.morel.ast.AstBuilder

aggregate(Environment, Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Aggregate(Pos, Ast.Exp, Ast.Exp, Ast.Id) - Constructor for class net.hydromatic.morel.ast.Ast.Aggregate

AGGREGATE - net.hydromatic.morel.ast.Op

aggregates - Variable in class net.hydromatic.morel.ast.Ast.From

alias - Variable in enum net.hydromatic.morel.compile.BuiltIn

An alias, or null.

ALPHAS - Static variable in class net.hydromatic.morel.type.TypeVar

andAlso(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

andAlso(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "andalso".

ANDALSO - net.hydromatic.morel.ast.Op

ANNOTATED_EXP - net.hydromatic.morel.ast.Op

ANNOTATED_PAT - net.hydromatic.morel.ast.Op

annotatedExp(Pos, Ast.Type, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

AnnotatedExp(Pos, Ast.Type, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.AnnotatedExp

Creates a type annotation.

annotatedPat(Pos, Ast.Pat, Ast.Type) - Method in enum net.hydromatic.morel.ast.AstBuilder

AnnotatedPat(Pos, Ast.Pat, Ast.Type) - Constructor for class net.hydromatic.morel.ast.Ast.AnnotatedPat

append(String) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a string to the output.

append(AstNode, int, int) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a parse tree node.

appendAll(Iterable<? extends AstNode>, int, Op, int) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a list of parse tree nodes.

appendAll(Iterable<? extends AstNode>, String) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a list of parse tree nodes separated by sep.

appendAll(Iterable<? extends AstNode>, String, String, String) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a list of parse tree nodes separated by sep, and also with prefix and suffix: start node0 sep node1 ... sep nodeN end.

appendAll(Iterable<? extends AstNode>, String, String, String, String) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a list of parse tree nodes separated by sep, and also with prefix and suffix: start node0 sep node1 ... sep nodeN end.

Applicable - Interface in net.hydromatic.morel.eval

A compiled expression that can be evaluated by applying to an argument.

apply(Object[]) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue.Converter

apply(String, Iterable<Unifier.Term>) - Method in class net.hydromatic.morel.util.Unifier

Creates a sequence, or returns an existing one with the same terms.

apply(String, Unifier.Term...) - Method in class net.hydromatic.morel.util.Unifier

Creates a sequence, or returns an existing one with the same terms.

apply(List<String>, List<Binding>, EvalEnv) - Method in interface net.hydromatic.morel.compile.Compiler.Action

apply(Map<Unifier.Variable, Unifier.Term>) - Method in class net.hydromatic.morel.util.Unifier.Sequence

apply(Map<Unifier.Variable, Unifier.Term>) - Method in interface net.hydromatic.morel.util.Unifier.Term

apply(Map<Unifier.Variable, Unifier.Term>) - Method in class net.hydromatic.morel.util.Unifier.Variable

apply(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

apply(Applicable, Code) - Static method in class net.hydromatic.morel.eval.Codes

Generates the code for applying a function value to an argument.

apply(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Generates the code for applying a function (or function value) to an argument.

apply(EvalEnv, Object) - Method in interface net.hydromatic.morel.eval.Applicable

apply(EvalEnv, Object) - Method in class net.hydromatic.morel.eval.Closure

apply(Type, List<Type>) - Method in class net.hydromatic.morel.type.TypeSystem

Apply(Pos, Ast.Exp, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.Apply

APPLY - net.hydromatic.morel.ast.Op

APPLY_TY_CON - Static variable in class net.hydromatic.morel.compile.TypeResolver

APPLY_TYPE - net.hydromatic.morel.ast.Op

ApplyType - Class in net.hydromatic.morel.type

Type that is a polymorphic type applied to a set of types.

ApplyType(Type, ImmutableList<Type>, String) - Constructor for class net.hydromatic.morel.type.ApplyType

areContiguousIntegers(Iterable<String>) - Method in class net.hydromatic.morel.type.TypeSystem

Returns whether the collection is ["1", "2", ...

arg - Variable in class net.hydromatic.morel.ast.Ast.Apply

argList - Variable in class net.hydromatic.morel.Shell

argNameTypes - Variable in class net.hydromatic.morel.type.RecordType

args - Variable in class net.hydromatic.morel.ast.Ast.List

args - Variable in class net.hydromatic.morel.ast.Ast.ListPat

args - Variable in class net.hydromatic.morel.ast.Ast.Record

args - Variable in class net.hydromatic.morel.ast.Ast.RecordPat

args - Variable in class net.hydromatic.morel.ast.Ast.Tuple

args - Variable in class net.hydromatic.morel.ast.Ast.TuplePat

args - Variable in class net.hydromatic.morel.Main

args() - Method in class net.hydromatic.morel.ast.Ast.Exp

Returns a list of all arguments.

argTypes - Variable in class net.hydromatic.morel.type.TupleType

argument - Variable in class net.hydromatic.morel.ast.Ast.Aggregate

asCode() - Method in interface net.hydromatic.morel.eval.Applicable

Converts this Applicable to a Code that has similar effect (but is less efficient).

ASSIGN - net.hydromatic.morel.ast.Op

assignSelector(Ast.Apply) - Method in class net.hydromatic.morel.compile.Compiler

ast - net.hydromatic.morel.ast.AstBuilder

The singleton instance of the AST builder.

Ast - Class in net.hydromatic.morel.ast

Various sub-classes of AST nodes.

Ast() - Constructor for class net.hydromatic.morel.ast.Ast

Ast.Aggregate - Class in net.hydromatic.morel.ast

Call to an aggregate function in a compute clause.

Ast.AnnotatedExp - Class in net.hydromatic.morel.ast

Parse tree node of an expression annotated with a type.

Ast.AnnotatedPat - Class in net.hydromatic.morel.ast

Pattern that is a pattern annotated with a type.

Ast.Apply - Class in net.hydromatic.morel.ast

Application of a function to its argument.

Ast.Case - Class in net.hydromatic.morel.ast

Case expression.

Ast.CompositeType - Class in net.hydromatic.morel.ast

Not really a type, just a way for the parser to represent the type arguments to a type constructor.

Ast.Con0Pat - Class in net.hydromatic.morel.ast

Type constructor pattern with no argument.

Ast.ConPat - Class in net.hydromatic.morel.ast

Type constructor pattern with an argument.

Ast.DatatypeBind - Class in net.hydromatic.morel.ast

Parse tree node of a datatype binding.

Ast.DatatypeDecl - Class in net.hydromatic.morel.ast

Parse tree node of a datatype declaration.

Ast.Decl - Class in net.hydromatic.morel.ast

Base class for declarations.

Ast.Exp - Class in net.hydromatic.morel.ast

Base class of expression ASTs.

Ast.Fn - Class in net.hydromatic.morel.ast

Lambda expression.

Ast.From - Class in net.hydromatic.morel.ast

From expression.

Ast.FunBind - Class in net.hydromatic.morel.ast

One of the branches (separated by 'and') in a 'fun' function declaration.

Ast.FunctionType - Class in net.hydromatic.morel.ast

Function type.

Ast.FunDecl - Class in net.hydromatic.morel.ast

Parse tree node of a function declaration.

Ast.FunMatch - Class in net.hydromatic.morel.ast

One of the branches (separated by '|') in a 'fun' function declaration.

Ast.Id - Class in net.hydromatic.morel.ast

Parse tree node of an identifier.

Ast.IdPat - Class in net.hydromatic.morel.ast

Named pattern, the pattern analog of the Ast.Id expression.

Ast.If - Class in net.hydromatic.morel.ast

"If ...

Ast.InfixCall - Class in net.hydromatic.morel.ast

Call to an infix operator.

Ast.InfixPat - Class in net.hydromatic.morel.ast

Pattern build from an infix operator applied to two patterns.

Ast.LetExp - Class in net.hydromatic.morel.ast

"Let" expression.

Ast.List - Class in net.hydromatic.morel.ast

List.

Ast.ListPat - Class in net.hydromatic.morel.ast

List pattern, the pattern analog of the Ast.List expression.

Ast.Literal - Class in net.hydromatic.morel.ast

Parse tree node of a literal (constant).

Ast.LiteralPat - Class in net.hydromatic.morel.ast

Literal pattern, the pattern analog of the Ast.Literal expression.

Ast.Match - Class in net.hydromatic.morel.ast

Match.

Ast.NamedType - Class in net.hydromatic.morel.ast

Parse tree for a named type (e.g.

Ast.Pat - Class in net.hydromatic.morel.ast

Base class for a pattern.

Ast.PrefixCall - Class in net.hydromatic.morel.ast

Call to an prefix operator.

Ast.Record - Class in net.hydromatic.morel.ast

Record.

Ast.RecordPat - Class in net.hydromatic.morel.ast

Record pattern.

Ast.RecordSelector - Class in net.hydromatic.morel.ast

Parse tree node of a record selector.

Ast.RecordType - Class in net.hydromatic.morel.ast

Parse tree node of a record type.

Ast.Tuple - Class in net.hydromatic.morel.ast

Tuple.

Ast.TuplePat - Class in net.hydromatic.morel.ast

Tuple pattern, the pattern analog of the Ast.Tuple expression.

Ast.TupleType - Class in net.hydromatic.morel.ast

Tuple type.

Ast.TyCon - Class in net.hydromatic.morel.ast

Type constructor.

Ast.Type - Class in net.hydromatic.morel.ast

Base class for parse tree nodes that represent types.

Ast.TyVar - Class in net.hydromatic.morel.ast

Parse tree node of a type variable.

Ast.ValBind - Class in net.hydromatic.morel.ast

Value bind.

Ast.ValDecl - Class in net.hydromatic.morel.ast

Parse tree node of a value declaration.

Ast.WildcardPat - Class in net.hydromatic.morel.ast

Wildcard pattern.

AstBuilder - Enum in net.hydromatic.morel.ast

Builds parse tree nodes.

AstBuilder() - Constructor for enum net.hydromatic.morel.ast.AstBuilder

AstNode - Class in net.hydromatic.morel.ast

Abstract syntax tree node.

AstNode(Pos, Op) - Constructor for class net.hydromatic.morel.ast.AstNode

AstWriter - Class in net.hydromatic.morel.ast

Context for writing an AST out as a string.

AstWriter() - Constructor for class net.hydromatic.morel.ast.AstWriter

AT - net.hydromatic.morel.ast.Op

atom(String) - Method in class net.hydromatic.morel.util.Unifier

Creates an atom, or returns an existing one with the same name.

atomMap - Variable in class net.hydromatic.morel.util.Unifier

B

b - Variable in class net.hydromatic.morel.ast.AstWriter

banner - Variable in class net.hydromatic.morel.Shell

banner() - Method in class net.hydromatic.morel.Shell

Generates a banner to be shown on startup.

BAR - net.hydromatic.morel.ast.Op

BaseType - Class in net.hydromatic.morel.type

Abstract implementation of Type.

BaseType(Op, String) - Constructor for class net.hydromatic.morel.type.BaseType

BASIC_ENVIRONMENT - Static variable in class net.hydromatic.morel.compile.Environments

An environment with the only the built-in stuff.

BEFORE - net.hydromatic.morel.ast.Op

binary(String, AstNode, String, AstNode, int) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a call to a binary operator (e.g.

binary(String, AstNode, String, AstNode, String) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a call to a binary operator (e.g.

bind(Object) - Method in class net.hydromatic.morel.eval.Closure

Binds an argument value to create a new environment for a closure.

bind(String, Object) - Method in interface net.hydromatic.morel.eval.EvalEnv

Creates an environment that has the same content as this one, plus the binding (name, value).

bind(String, Function<TypeSystem, Unifier.Term>) - Method in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

bind(String, Function<TypeSystem, Unifier.Term>) - Method in enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

bind(String, Function<TypeSystem, Unifier.Term>) - Method in interface net.hydromatic.morel.compile.TypeResolver.TypeEnv

bind(String, Type, Object) - Method in class net.hydromatic.morel.compile.Environment

Creates an environment that is the same as a given environment, plus one more variable.

bind(String, Unifier.Term) - Method in interface net.hydromatic.morel.compile.TypeResolver.TypeEnv

bind(Binding) - Method in class net.hydromatic.morel.compile.Environment

bindAll(Iterable<Binding>) - Method in class net.hydromatic.morel.compile.Environment

Creates an environment that is the same as this, plus the given bindings.

bindAll(TypeResolver.TypeEnv, Map<Ast.IdPat, Unifier.Term>) - Static method in class net.hydromatic.morel.compile.TypeResolver

bindEval(Object) - Method in class net.hydromatic.morel.eval.Closure

Similar to Closure.bind(java.lang.Object), but also evaluates.

binding - Variable in class net.hydromatic.morel.compile.Environments.SubEnvironment

Binding - Class in net.hydromatic.morel.type

Binding of a name to a type and a value.

Binding(String, Type, Object) - Constructor for class net.hydromatic.morel.type.Binding

bindings(TypeSystem, Map<String, ForeignValue>) - Static method in class net.hydromatic.morel.compile.Compiles

bindMutable(String) - Method in interface net.hydromatic.morel.eval.EvalEnv

Creates an evaluation environment that has the same content as this one, plus a mutable slot.

bindRecurse(Ast.Pat, EvalEnv[], Object) - Method in class net.hydromatic.morel.eval.Closure

binds - Variable in class net.hydromatic.morel.ast.Ast.DatatypeDecl

BindTypeEnv(String, Function<TypeSystem, Unifier.Term>, TypeResolver.TypeEnv) - Constructor for class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

BOOL - net.hydromatic.morel.type.PrimitiveType

BOOL_LITERAL - net.hydromatic.morel.ast.Op

BOOL_LITERAL_PAT - net.hydromatic.morel.ast.Op

boolLiteral(Pos, boolean) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a boolean literal.

buf - Variable in class net.hydromatic.morel.Main.BufferingReader

buffer(Reader) - Static method in class net.hydromatic.morel.Main

buffer(Writer) - Static method in class net.hydromatic.morel.Main

BufferingReader(Reader) - Constructor for class net.hydromatic.morel.Main.BufferingReader

BUILT_IN_VALUES - Static variable in class net.hydromatic.morel.eval.Codes

BuiltIn - Enum in net.hydromatic.morel.compile

Built-in constants and functions.

BuiltIn(String, String, Function<TypeSystem, Type>) - Constructor for enum net.hydromatic.morel.compile.BuiltIn

BuiltIn(String, Function<TypeSystem, Type>) - Constructor for enum net.hydromatic.morel.compile.BuiltIn

BY_ML_NAME - Static variable in enum net.hydromatic.morel.compile.BuiltIn

C

CalciteForeignValue - Class in net.hydromatic.morel.foreign

Value based on a Calcite schema.

CalciteForeignValue(SchemaPlus, boolean) - Constructor for class net.hydromatic.morel.foreign.CalciteForeignValue

Creates a CalciteForeignValue.

CalciteForeignValue.Converter - Class in net.hydromatic.morel.foreign

Converts from a Calcite row to an SML record.

CalciteForeignValue.EmptyDataContext - Class in net.hydromatic.morel.foreign

Data context that has no variables.

CalciteForeignValue.FieldConverter - Class in net.hydromatic.morel.foreign

Converts a field from Calcite to SML format.

caret(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

caret(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "^" (string concatenation).

CARET - net.hydromatic.morel.ast.Op

Case(Pos, Ast.Exp, ImmutableList<Ast.Match>) - Constructor for class net.hydromatic.morel.ast.Ast.Case

CASE - net.hydromatic.morel.ast.Op

caseOf(Pos, Ast.Exp, Iterable<? extends Ast.Match>) - Method in enum net.hydromatic.morel.ast.AstBuilder

CHAR - net.hydromatic.morel.type.PrimitiveType

CHAR_LITERAL - net.hydromatic.morel.ast.Op

CHAR_LITERAL_PAT - net.hydromatic.morel.ast.Op

charLiteral(Pos, char) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a char literal.

checkCycle(Map<Unifier.Variable, Unifier.Term>, Map<Unifier.Variable, Unifier.Variable>) - Method in class net.hydromatic.morel.util.Unifier.Sequence

checkCycle(Map<Unifier.Variable, Unifier.Term>, Map<Unifier.Variable, Unifier.Variable>) - Method in interface net.hydromatic.morel.util.Unifier.Term

Throws CycleException if expanding this term leads to a cycle.

checkCycle(Map<Unifier.Variable, Unifier.Term>, Map<Unifier.Variable, Unifier.Variable>) - Method in class net.hydromatic.morel.util.Unifier.Variable

checkCycles(Map<Unifier.Variable, Unifier.Term>, Map<Unifier.Variable, Unifier.Variable>) - Static method in class net.hydromatic.morel.util.Unifier

clear() - Method in class net.hydromatic.morel.util.AbstractImmutableList

clear() - Method in class net.hydromatic.morel.util.TailList

Closure - Class in net.hydromatic.morel.eval

Value that is sufficient for a function to bind its argument and evaluate its body.

Closure(EvalEnv, ImmutableList<Pair<Ast.Pat, Code>>) - Constructor for class net.hydromatic.morel.eval.Closure

Not a public API.

Code - Interface in net.hydromatic.morel.eval

A compiled expression, that can be evaluated.

codes - Variable in class net.hydromatic.morel.eval.Codes.TupleCode

Codes - Class in net.hydromatic.morel.eval

Helpers for Code.

Codes() - Constructor for class net.hydromatic.morel.eval.Codes

Codes.TupleCode - Class in net.hydromatic.morel.eval

A code that evaluates expressions and creates a tuple with the results.

collate(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

ComparableSingletonList(E) - Constructor for class net.hydromatic.morel.compile.Compiler.ComparableSingletonList

compare(C, C) - Static method in class net.hydromatic.morel.util.Pair

Compares a pair of comparable values of the same type.

compareTo(Compiler.ComparableSingletonList<E>) - Method in class net.hydromatic.morel.compile.Compiler.ComparableSingletonList

compareTo(Closure) - Method in class net.hydromatic.morel.eval.Closure

compareTo(Unit) - Method in class net.hydromatic.morel.eval.Unit

compareTo(Pair<T1, T2>) - Method in class net.hydromatic.morel.util.Pair

compareTo(Unifier.Variable) - Method in class net.hydromatic.morel.util.Unifier.Variable

comparison(TypeResolver.TypeEnv, Ast.InfixCall, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

Registers an infix operator whose type is a given type and whose arguments are the same type.

compile(Environment, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

compileAggregate(Environment, Ast.Aggregate) - Method in class net.hydromatic.morel.compile.Compiler

compileApplicable(Environment, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

Compiles a function value to an Applicable, if possible, or returns null.

compileDatatypeDecl(Environment, Ast.DatatypeDecl, List<Binding>, List<Compiler.Action>) - Method in class net.hydromatic.morel.compile.Compiler

compileDecl(Environment, Ast.Decl, List<Code>, List<Binding>, List<Compiler.Action>) - Method in class net.hydromatic.morel.compile.Compiler

CompiledStatement - Interface in net.hydromatic.morel.compile

Statement that has been compiled and is ready to be run from the REPL.

CompileException - Exception in net.hydromatic.morel.compile

An error occurred during compilation.

CompileException(String) - Constructor for exception net.hydromatic.morel.compile.CompileException

compileInfix(Environment, Ast.InfixCall) - Method in class net.hydromatic.morel.compile.Compiler

compileLet(Environment, List<Ast.Decl>, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

compileLet(Environment, Ast.Decl, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

compileMatchList(Environment, Iterable<Ast.Match>) - Method in class net.hydromatic.morel.compile.Compiler

Compiles a match expression.

Compiler - Class in net.hydromatic.morel.compile

Compiles an expression to code that can be evaluated.

Compiler(TypeResolver.TypeMap) - Constructor for class net.hydromatic.morel.compile.Compiler

Compiler.Action - Interface in net.hydromatic.morel.compile

Something that needs to happen when a declaration is evaluated.

Compiler.ComparableSingletonList<E extends java.lang.Comparable<E>> - Class in net.hydromatic.morel.compile

A comparable singleton list.

Compiler.LinkCode - Class in net.hydromatic.morel.compile

A piece of code that is references another piece of code.

Compiles - Class in net.hydromatic.morel.compile

Helpers for Compiler and TypeResolver.

Compiles() - Constructor for class net.hydromatic.morel.compile.Compiles

compileStatement(Environment, Ast.Decl) - Method in class net.hydromatic.morel.compile.Compiler

compileTyCon(Environment, Type, Ast.TyCon, List<Binding>) - Method in class net.hydromatic.morel.compile.Compiler

compileUnary(Environment, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

compileValBind(Environment, Ast.ValBind, List<Code>, List<Binding>, List<Compiler.Action>) - Method in class net.hydromatic.morel.compile.Compiler

compileValDecl(Environment, Ast.ValDecl, List<Code>, List<Binding>, List<Compiler.Action>) - Method in class net.hydromatic.morel.compile.Compiler

compose(Map<Unifier.Variable, Unifier.Term>, Map<Unifier.Variable, Unifier.Term>) - Static method in class net.hydromatic.morel.util.RobinsonUnifier

Applies s1 to the elements of s2 and adds them into a single list.

COMPOSE - net.hydromatic.morel.ast.Op

COMPOSITE_TYPE - net.hydromatic.morel.ast.Op

compositeType(Pos, Iterable<Ast.Type>) - Method in enum net.hydromatic.morel.ast.AstBuilder

CompositeType(Pos, ImmutableList<Ast.Type>) - Constructor for class net.hydromatic.morel.ast.Ast.CompositeType

computeDescription(Map<String, Type>) - Static method in class net.hydromatic.morel.type.DataType

CON_PAT - net.hydromatic.morel.ast.Op

CON0_PAT - net.hydromatic.morel.ast.Op

con0Pat(Pos, Ast.Id) - Method in enum net.hydromatic.morel.ast.AstBuilder

Con0Pat(Pos, Ast.Id) - Constructor for class net.hydromatic.morel.ast.Ast.Con0Pat

condition - Variable in class net.hydromatic.morel.ast.Ast.If

conPat(Pos, Ast.Id, Ast.Pat) - Method in enum net.hydromatic.morel.ast.AstBuilder

ConPat(Pos, Ast.Id, Ast.Pat) - Constructor for class net.hydromatic.morel.ast.Ast.ConPat

cons(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

cons(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "::" (list cons).

CONS - net.hydromatic.morel.ast.Op

CONS_PAT - net.hydromatic.morel.ast.Op

ConsList<E> - Class in net.hydromatic.morel.util

List that consists of a head element and an immutable non-empty list.

ConsList(E, List<E>) - Constructor for class net.hydromatic.morel.util.ConsList

consPat(Ast.Pat, Ast.Pat) - Method in enum net.hydromatic.morel.ast.AstBuilder

constant(Comparable) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates to the same value in all environments.

contains(Object) - Method in class net.hydromatic.morel.util.AbstractImmutableList

contains(Unifier.Variable) - Method in class net.hydromatic.morel.util.Unifier.Sequence

contains(Unifier.Variable) - Method in interface net.hydromatic.morel.util.Unifier.Term

contains(Unifier.Variable) - Method in class net.hydromatic.morel.util.Unifier.Variable

containsAll(Collection<?>) - Method in class net.hydromatic.morel.util.AbstractImmutableList

convert(String) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue

Converter(RelDataType) - Constructor for class net.hydromatic.morel.foreign.CalciteForeignValue.Converter

convertFrom(Object[]) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue.FieldConverter

Given a Calcite row, returns the value of this field in SML format.

copy(boolean, Ast.Pat, Ast.Exp) - Method in class net.hydromatic.morel.ast.Ast.ValBind

Creates a copy of this ValBind with given contents, or this if the contents are the same.

copy(Iterable<Ast.Decl>, Ast.Exp) - Method in class net.hydromatic.morel.ast.Ast.LetExp

Creates a copy of this LetExp with given contents, or this if the contents are the same.

copy(Iterable<Ast.ValBind>) - Method in class net.hydromatic.morel.ast.Ast.ValDecl

Creates a copy of this ValDecl with given contents, or this if the contents are the same.

copy(List<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.Tuple

copy(Map<Ast.Id, Ast.Exp>, Ast.Exp, Ast.Exp, List<Pair<Ast.Exp, Ast.Id>>, List<Ast.Aggregate>) - Method in class net.hydromatic.morel.ast.Ast.From

Creates a copy of this From with given contents, or this if the contents are the same.

copy(Ast.Exp, Ast.Exp) - Method in class net.hydromatic.morel.ast.Ast.Apply

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.ApplyType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.DataType

copy(TypeSystem, Function<Type, Type>) - Method in enum net.hydromatic.morel.type.DummyType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.FnType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.ForallType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.ListType

copy(TypeSystem, Function<Type, Type>) - Method in enum net.hydromatic.morel.type.PrimitiveType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.RecordType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.TupleType

copy(TypeSystem, Function<Type, Type>) - Method in interface net.hydromatic.morel.type.Type

Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.TypeSystem.TemporaryType

copy(TypeSystem, Function<Type, Type>) - Method in class net.hydromatic.morel.type.TypeVar

copyOf(Map<String, Object>) - Static method in class net.hydromatic.morel.eval.EvalEnvs

Creates an evaluation environment with the given (name, value) map.

copyTypes(TypeSystem, SortedMap<String, Type>, Function<Type, Type>) - Method in class net.hydromatic.morel.type.DataType

createEnvironment(TypeSystem, Map<String, ForeignValue>) - Static method in class net.hydromatic.morel.compile.Compiles

Creates an environment containing the given foreign values.

currentIndent(StringBuilder) - Static method in class net.hydromatic.morel.compile.Pretty

CycleException() - Constructor for exception net.hydromatic.morel.util.Unifier.CycleException

D

DATA_TYPE - net.hydromatic.morel.ast.Op

dataType(String, List<TypeVar>, Map<String, Type>) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a data type.

DataType - Class in net.hydromatic.morel.type

Algebraic type.

DataType(TypeSystem, String, String, List<TypeVar>, SortedMap<String, Type>) - Constructor for class net.hydromatic.morel.type.DataType

Creates a DataType.

DATATYPE_BIND - net.hydromatic.morel.ast.Op

DATATYPE_DECL - net.hydromatic.morel.ast.Op

datatypeBind(Pos, Ast.Id, Iterable<Ast.TyVar>, Iterable<Ast.TyCon>) - Method in enum net.hydromatic.morel.ast.AstBuilder

DatatypeBind(Pos, ImmutableList<Ast.TyVar>, Ast.Id, ImmutableList<Ast.TyCon>) - Constructor for class net.hydromatic.morel.ast.Ast.DatatypeBind

datatypeDecl(Pos, Iterable<Ast.DatatypeBind>) - Method in enum net.hydromatic.morel.ast.AstBuilder

DatatypeDecl(Pos, ImmutableList<Ast.DatatypeBind>) - Constructor for class net.hydromatic.morel.ast.Ast.DatatypeDecl

Decl(Pos, Op) - Constructor for class net.hydromatic.morel.ast.Ast.Decl

decls - Variable in class net.hydromatic.morel.ast.Ast.LetExp

deduceConsType(TypeResolver.TypeEnv, Ast.InfixCall, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceDatatypeBindType(TypeResolver.TypeEnv, Ast.DatatypeBind, Map<Ast.IdPat, Unifier.Term>) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceDeclType(TypeResolver.TypeEnv, Ast.Decl, Map<Ast.IdPat, Unifier.Term>) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceMatchListType(TypeResolver.TypeEnv, List<Ast.Match>, NavigableSet<String>, Unifier.Variable, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceMatchType(TypeResolver.TypeEnv, Ast.Match, Map<Ast.IdPat, Unifier.Term>, Unifier.Variable, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

deducePatType(TypeResolver.TypeEnv, Ast.Pat, Map<Ast.IdPat, Unifier.Term>, NavigableSet<String>, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

Derives a type term for a pattern, collecting the names of pattern variables.

deduceRecordSelectorType(TypeResolver.TypeEnv, Unifier.Variable, Unifier.Variable, Ast.RecordSelector) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceType(Environment, Ast.Decl, TypeSystem) - Static method in class net.hydromatic.morel.compile.TypeResolver

Deduces the type of a declaration.

deduceType(TypeResolver.TypeEnv, Ast.Exp, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceType_(Environment, Ast.Decl) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceValBindType(TypeResolver.TypeEnv, Ast.ValBind, Map<Ast.IdPat, Unifier.Term>, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

deduceValDeclType(TypeResolver.TypeEnv, Ast.ValDecl, Map<Ast.IdPat, Unifier.Term>) - Method in class net.hydromatic.morel.compile.TypeResolver

definedName - Variable in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

delete() - Method in class net.hydromatic.morel.type.TypeSystem.TemporaryType

DEPTH_LIMIT - Static variable in class net.hydromatic.morel.compile.Pretty

description - Variable in class net.hydromatic.morel.type.BaseType

description - Variable in enum net.hydromatic.morel.type.PrimitiveType

description() - Method in class net.hydromatic.morel.type.BaseType

description() - Method in enum net.hydromatic.morel.type.DummyType

description() - Method in enum net.hydromatic.morel.type.PrimitiveType

description() - Method in interface net.hydromatic.morel.type.Type

Description of the type, e.g.

description() - Method in class net.hydromatic.morel.type.TypeSystem.TemporaryType

description() - Method in class net.hydromatic.morel.type.TypeVar

div(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

div(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "div".

DIV - net.hydromatic.morel.ast.Op

divide(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

divide(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "/".

DIVIDE - net.hydromatic.morel.ast.Op

DummyType - Enum in net.hydromatic.morel.type

Type that is a place-holder for a type constructor that has no arguments; for example, "NONE" in "datatype 'a option = NONE | SOME of 'a" would have dummy type.

DummyType() - Constructor for enum net.hydromatic.morel.type.DummyType

E

e - Variable in class net.hydromatic.morel.ast.Ast.AnnotatedExp

e - Variable in class net.hydromatic.morel.ast.Ast.Case

e - Variable in class net.hydromatic.morel.ast.Ast.FunMatch

e - Variable in class net.hydromatic.morel.ast.Ast.LetExp

e - Variable in class net.hydromatic.morel.ast.Ast.Match

e - Variable in class net.hydromatic.morel.ast.Ast.ValBind

e - Variable in class net.hydromatic.morel.util.Ord

echo - Variable in class net.hydromatic.morel.Main

echo - Variable in class net.hydromatic.morel.Shell

element - Variable in class net.hydromatic.morel.compile.Compiler.ComparableSingletonList

elements - Variable in class net.hydromatic.morel.util.Ord.OrdArrayList

elements - Variable in class net.hydromatic.morel.util.Ord.OrdList

elementType - Variable in class net.hydromatic.morel.type.ListType

ellipsis - Variable in class net.hydromatic.morel.ast.Ast.RecordPat

empty() - Static method in class net.hydromatic.morel.compile.Environments

Creates an empty environment.

EMPTY - Static variable in class net.hydromatic.morel.compile.TypeResolver.Subst

EMPTY - Static variable in class net.hydromatic.morel.util.Unifier

EMPTY_ENV - Static variable in class net.hydromatic.morel.compile.Compiler

EmptyDataContext(JavaTypeFactory, SchemaPlus) - Constructor for class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

emptyEnv() - Static method in class net.hydromatic.morel.eval.Codes

Creates an empty evaluation environment.

EmptyEnvironment() - Constructor for class net.hydromatic.morel.compile.Environments.EmptyEnvironment

emptyEnvWith(Environment) - Static method in class net.hydromatic.morel.eval.Codes

Creates an evaluation environment that contains the bound values from a compilation environment.

EmptySubst() - Constructor for class net.hydromatic.morel.compile.TypeResolver.EmptySubst

EmptyTypeEnv() - Constructor for enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

endColumn - Variable in class net.hydromatic.morel.ast.Pos

endLine - Variable in class net.hydromatic.morel.ast.Pos

endsWithSpaces(StringBuilder, int) - Static method in class net.hydromatic.morel.compile.Pretty

ensureClosed(Type) - Method in class net.hydromatic.morel.type.TypeSystem

Converts a type into a ForallType if it has free type variables.

env(TypeSystem, Environment) - Static method in class net.hydromatic.morel.eval.Codes

Creates a compilation environment.

Environment - Class in net.hydromatic.morel.compile

Environment for validation/compilation.

Environment() - Constructor for class net.hydromatic.morel.compile.Environment

Environments - Class in net.hydromatic.morel.compile

Helpers for Environment.

Environments() - Constructor for class net.hydromatic.morel.compile.Environments

Environments.EmptyEnvironment - Class in net.hydromatic.morel.compile

Empty environment.

Environments.SubEnvironment - Class in net.hydromatic.morel.compile

Environment that inherits from a parent environment and adds one binding.

eq(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "=".

EQ - net.hydromatic.morel.ast.Op

equal(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.AnnotatedExp

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.DatatypeBind

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.DatatypeDecl

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.FunDecl

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.Id

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.Literal

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.LiteralPat

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.NamedType

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.RecordSelector

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.RecordType

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.TyVar

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.ValDecl

equals(Object) - Method in class net.hydromatic.morel.ast.Ast.WildcardPat

equals(Object) - Method in class net.hydromatic.morel.ast.Pos

equals(Object) - Method in class net.hydromatic.morel.util.ConsList

equals(Object) - Method in class net.hydromatic.morel.util.Pair

equals(Object) - Method in class net.hydromatic.morel.util.Unifier.Sequence

equals(Object) - Method in class net.hydromatic.morel.util.Unifier.Substitution

equalsShallow(Unifier.Sequence) - Method in class net.hydromatic.morel.util.Unifier.Sequence

Compares whether two sequences have the same terms.

equiv(Unifier.Term, Unifier.Term) - Method in class net.hydromatic.morel.compile.TypeResolver

equiv(Unifier.Term, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver

eval(Environment, List<String>, List<Binding>) - Method in interface net.hydromatic.morel.compile.CompiledStatement

Evaluates this statement, adding lines of feedback to output and writing bindings (values to variables, and types definitions) to bindings.

eval(EvalEnv) - Method in class net.hydromatic.morel.compile.Compiler.LinkCode

eval(EvalEnv) - Method in interface net.hydromatic.morel.eval.Code

eval(EvalEnv) - Method in class net.hydromatic.morel.eval.Codes.TupleCode

evalBind(EvalEnv) - Method in class net.hydromatic.morel.eval.Closure

Similar to Closure.bind(java.lang.Object), but evaluates an expression first.

evalEnv - Variable in class net.hydromatic.morel.eval.Closure

Environment for evaluation.

EvalEnv - Interface in net.hydromatic.morel.eval

Evaluation environment.

EvalEnvs - Class in net.hydromatic.morel.eval

Helpers for EvalEnv.

EvalEnvs() - Constructor for class net.hydromatic.morel.eval.EvalEnvs

EvalEnvs.MapEvalEnv - Class in net.hydromatic.morel.eval

Evaluation environment that reads from a map.

EvalEnvs.MutableSubEvalEnv - Class in net.hydromatic.morel.eval

Similar to EvalEnvs.SubEvalEnv but mutable.

EvalEnvs.SubEvalEnv - Class in net.hydromatic.morel.eval

Evaluation environment that inherits from a parent environment and adds one binding.

Exp(Pos, Op) - Constructor for class net.hydromatic.morel.ast.Ast.Exp

expand(Environment) - Method in interface net.hydromatic.morel.compile.Macro

expandRecordPattern(Ast.Pat) - Method in class net.hydromatic.morel.compile.Compiler

Expands a pattern if it is a record pattern that has an ellipsis or if the arguments are not in the same order as the labels in the type.

F

failure(String) - Method in class net.hydromatic.morel.util.Unifier

Failure() - Constructor for class net.hydromatic.morel.util.Unifier.Failure

FALSE - net.hydromatic.morel.compile.BuiltIn

Literal "false", of type "bool".

FieldConverter(Type, int) - Constructor for class net.hydromatic.morel.foreign.CalciteForeignValue.FieldConverter

fieldConverters - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue.Converter

fieldList(Unifier.Sequence) - Static method in class net.hydromatic.morel.compile.TypeResolver

fieldTypes - Variable in class net.hydromatic.morel.ast.Ast.RecordType

filterExp - Variable in class net.hydromatic.morel.ast.Ast.From

find(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

findDelete(List<Unifier.TermTerm>) - Method in class net.hydromatic.morel.util.MartelliUnifier

findNonVarVar(List<Unifier.TermTerm>) - Method in class net.hydromatic.morel.util.MartelliUnifier

findSeqSeq(List<Unifier.TermTerm>) - Method in class net.hydromatic.morel.util.MartelliUnifier

findVarAny(List<Unifier.TermTerm>) - Method in class net.hydromatic.morel.util.MartelliUnifier

first - Variable in class net.hydromatic.morel.util.ConsList

first - Variable in class net.hydromatic.morel.util.Pair.AdjacentIterator

first - Variable in class net.hydromatic.morel.util.Pair.FirstAndIterator

firstAnd(Iterable<T>) - Static method in class net.hydromatic.morel.util.Pair

Returns an iterator that iterates over (0, i) pairs in an iterable for i > 0.

FirstAndIterator(Iterator<E>, E) - Constructor for class net.hydromatic.morel.util.Pair.FirstAndIterator

flatten(Map<Ast.Pat, Ast.Exp>, Ast.Pat, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

flattenLet(List<Ast.Decl>, Ast.Exp) - Method in class net.hydromatic.morel.compile.Compiler

flush() - Method in class net.hydromatic.morel.Main.BufferingReader

fn - Variable in class net.hydromatic.morel.ast.Ast.Apply

fn - Variable in class net.hydromatic.morel.util.MapList

fn(Pos, Iterable<? extends Ast.Match>) - Method in enum net.hydromatic.morel.ast.AstBuilder

fn(Pos, Ast.Match...) - Method in enum net.hydromatic.morel.ast.AstBuilder

Fn(Pos, ImmutableList<Ast.Match>) - Constructor for class net.hydromatic.morel.ast.Ast.Fn

FN - net.hydromatic.morel.ast.Op

FN_TY_CON - Static variable in class net.hydromatic.morel.compile.TypeResolver

fnType(Type, Type) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a function type.

fnType(Type, Type, Type, Type...) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a multi-step function type.

FnType - Class in net.hydromatic.morel.type

The type of a function value.

FnType(String, Type, Type) - Constructor for class net.hydromatic.morel.type.FnType

foldCons(List<Ast.Exp>) - Method in enum net.hydromatic.morel.ast.AstBuilder

foldFunctionType(List<Ast.Type>) - Method in enum net.hydromatic.morel.ast.AstBuilder

foldRight(List<E>, BiFunction<E, E, E>) - Method in enum net.hydromatic.morel.ast.AstBuilder

FORALL_TYPE - net.hydromatic.morel.ast.Op

forallType(int, Function<TypeSystem.ForallHelper, Type>) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a "forall" type.

forallType(Iterable<TypeVar>, Type) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a "forall" type.

ForallType - Class in net.hydromatic.morel.type

Universally quantified type.

ForallType(String, ImmutableList<TypeVar>, Type) - Constructor for class net.hydromatic.morel.type.ForallType

forEach(Iterable<E>, ObjIntConsumer<E>) - Static method in class net.hydromatic.morel.util.Ord

Performs the given action for each element of the Iterable.

forEach(Iterable<K>, Iterable<V>, BiConsumer<K, V>) - Static method in class net.hydromatic.morel.util.Pair

Calls a consumer for each pair of items in two iterables.

forEach(Map<K, V>, Ord.IntObjObjConsumer<K, V>) - Static method in class net.hydromatic.morel.util.Ord

Performs the given action for each entry of a Map.

forEachArg(ObjIntConsumer<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.Exp

forEachArg(ObjIntConsumer<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.InfixCall

forEachArg(ObjIntConsumer<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.List

forEachArg(ObjIntConsumer<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.PrefixCall

forEachArg(ObjIntConsumer<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.Record

forEachArg(ObjIntConsumer<Ast.Exp>) - Method in class net.hydromatic.morel.ast.Ast.Tuple

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.AnnotatedPat

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.ConPat

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.InfixPat

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.ListPat

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.Pat

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.RecordPat

forEachArg(ObjIntConsumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.TuplePat

forEachIndexed(Iterable<? extends Map.Entry<K, V>>, Pair.PairWithOrdinalConsumer<K, V>) - Static method in class net.hydromatic.morel.util.Pair

Calls a consumer with an ordinal for each pair of items in an iterable of pairs.

forEachIndexed(Iterable<K>, Iterable<V>, Pair.PairWithOrdinalConsumer<K, V>) - Static method in class net.hydromatic.morel.util.Pair

Calls a consumer with an ordinal for each pair of items in two iterables.

forEachIndexed(Map<K, V>, Pair.PairWithOrdinalConsumer<K, V>) - Static method in class net.hydromatic.morel.util.Pair

Calls a consumer for each entry in a map.

forEachType(BiConsumer<String, Type>) - Method in class net.hydromatic.morel.compile.Environment

Calls a consumer for each variable and its type.

forEachType(TypeSystem, BiConsumer<String, Type>) - Static method in enum net.hydromatic.morel.compile.BuiltIn

Calls a consumer once per value.

forEachValue(BiConsumer<String, Object>) - Method in class net.hydromatic.morel.compile.Environment

Calls a consumer for each variable and its value.

ForeignValue - Interface in net.hydromatic.morel.foreign

External value.

from(Map<Ast.Id, Code>, Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

from(Pos, Map<Ast.Id, Ast.Exp>, Ast.Exp, Ast.Exp, List<Pair<Ast.Exp, Ast.Id>>, List<Ast.Aggregate>) - Method in enum net.hydromatic.morel.ast.AstBuilder

From(Pos, ImmutableMap<Ast.Id, Ast.Exp>, Ast.Exp, Ast.Exp, ImmutableList<Pair<Ast.Exp, Ast.Id>>, ImmutableList<Ast.Aggregate>) - Constructor for class net.hydromatic.morel.ast.Ast.From

FROM - net.hydromatic.morel.ast.Op

fromGroup(Map<Ast.Id, Code>, Code, List<Code>, List<Applicable>, List<String>) - Static method in class net.hydromatic.morel.eval.Codes

FUN_BIND - net.hydromatic.morel.ast.Op

FUN_DECL - net.hydromatic.morel.ast.Op

FUN_MATCH - net.hydromatic.morel.ast.Op

funBind(Pos, Iterable<? extends Ast.FunMatch>) - Method in enum net.hydromatic.morel.ast.AstBuilder

FunBind(Pos, ImmutableList<Ast.FunMatch>) - Constructor for class net.hydromatic.morel.ast.Ast.FunBind

funBinds - Variable in class net.hydromatic.morel.ast.Ast.FunDecl

FUNCTION_TYPE - net.hydromatic.morel.ast.Op

functionType(Pos, Ast.Type, Ast.Type) - Method in enum net.hydromatic.morel.ast.AstBuilder

FunctionType(Pos, Ast.Type, Ast.Type) - Constructor for class net.hydromatic.morel.ast.Ast.FunctionType

funDecl(Pos, Iterable<? extends Ast.FunBind>) - Method in enum net.hydromatic.morel.ast.AstBuilder

FunDecl(Pos, ImmutableList<Ast.FunBind>) - Constructor for class net.hydromatic.morel.ast.Ast.FunDecl

funMatch(Pos, String, Iterable<? extends Ast.Pat>, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

FunMatch(Pos, String, ImmutableList<Ast.Pat>, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.FunMatch

G

ge(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates ">=".

GE - net.hydromatic.morel.ast.Op

get(int) - Method in class net.hydromatic.morel.compile.Compiler.ComparableSingletonList

get(int) - Method in class net.hydromatic.morel.eval.Unit

get(int) - Method in class net.hydromatic.morel.foreign.RelList

get(int) - Method in interface net.hydromatic.morel.type.TypeSystem.ForallHelper

get(int) - Method in class net.hydromatic.morel.util.ConsList

get(int) - Method in class net.hydromatic.morel.util.MapList

get(int) - Method in class net.hydromatic.morel.util.Ord.OrdArrayList

get(int) - Method in class net.hydromatic.morel.util.Ord.OrdList

get(int) - Method in class net.hydromatic.morel.util.Pair.MutableZipList

get(int) - Method in class net.hydromatic.morel.util.Pair.ZipList

get(int) - Method in class net.hydromatic.morel.util.TailList

get(String) - Method in class net.hydromatic.morel.compile.Environment

Returns the binding of name; throws if not.

get(String) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that returns the value of variable "name" in the current environment.

get(String) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

get(TypeSystem, String) - Method in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

get(TypeSystem, String) - Method in enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

get(TypeSystem, String) - Method in interface net.hydromatic.morel.compile.TypeResolver.TypeEnv

get(TypeVar) - Method in class net.hydromatic.morel.compile.TypeResolver.EmptySubst

get(TypeVar) - Method in class net.hydromatic.morel.compile.TypeResolver.PlusSubst

get(TypeVar) - Method in class net.hydromatic.morel.compile.TypeResolver.Subst

getBind() - Static method in class net.hydromatic.morel.compile.Environments

getKey() - Method in class net.hydromatic.morel.util.Ord

getKey() - Method in class net.hydromatic.morel.util.Pair

getOpt(String) - Method in class net.hydromatic.morel.compile.Environment

Returns the binding of name if bound, null if not.

getOpt(String) - Method in class net.hydromatic.morel.compile.Environments.EmptyEnvironment

getOpt(String) - Method in class net.hydromatic.morel.compile.Environments.SubEnvironment

getOpt(String) - Method in interface net.hydromatic.morel.eval.EvalEnv

Returns the binding of name if bound, null if not.

getOpt(String) - Method in class net.hydromatic.morel.eval.EvalEnvs.MapEvalEnv

getOpt(String) - Method in class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

getQueryProvider() - Method in class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

getRootSchema() - Method in class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

getType() - Method in interface net.hydromatic.morel.compile.CompiledStatement

getType(AstNode) - Method in class net.hydromatic.morel.compile.TypeResolver.TypeMap

Returns a type of an AST node.

getTypeFactory() - Method in class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

getValue() - Method in class net.hydromatic.morel.util.Ord

getValue() - Method in class net.hydromatic.morel.util.Pair

getValueMap() - Method in class net.hydromatic.morel.compile.Environment

Returns a map of the values and bindings.

greaterThan(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

greaterThanOrEqual(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

groupExps - Variable in class net.hydromatic.morel.ast.Ast.From

gt(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates ">".

GT - net.hydromatic.morel.ast.Op

H

has(String) - Method in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

has(String) - Method in enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

has(String) - Method in interface net.hydromatic.morel.compile.TypeResolver.TypeEnv

hasCycles(Map<Unifier.Variable, Unifier.Term>) - Method in class net.hydromatic.morel.util.Unifier.Substitution

hashCode() - Method in class net.hydromatic.morel.ast.Ast.AnnotatedExp

hashCode() - Method in class net.hydromatic.morel.ast.Ast.DatatypeBind

hashCode() - Method in class net.hydromatic.morel.ast.Ast.DatatypeDecl

hashCode() - Method in class net.hydromatic.morel.ast.Ast.FunDecl

hashCode() - Method in class net.hydromatic.morel.ast.Ast.Id

hashCode() - Method in class net.hydromatic.morel.ast.Ast.Literal

hashCode() - Method in class net.hydromatic.morel.ast.Ast.LiteralPat

hashCode() - Method in class net.hydromatic.morel.ast.Ast.NamedType

hashCode() - Method in class net.hydromatic.morel.ast.Ast.RecordSelector

hashCode() - Method in class net.hydromatic.morel.ast.Ast.RecordType

hashCode() - Method in class net.hydromatic.morel.ast.Ast.TyVar

hashCode() - Method in class net.hydromatic.morel.ast.Ast.ValDecl

hashCode() - Method in class net.hydromatic.morel.ast.Ast.WildcardPat

hashCode() - Method in class net.hydromatic.morel.ast.Pos

hashCode() - Method in class net.hydromatic.morel.util.ConsList

hashCode() - Method in class net.hydromatic.morel.util.Pair

hashCode() - Method in class net.hydromatic.morel.util.Unifier.Sequence

hashCode() - Method in class net.hydromatic.morel.util.Unifier.Substitution

hasIndent(StringBuilder, int) - Static method in class net.hydromatic.morel.compile.Pretty

hasNext() - Method in class net.hydromatic.morel.util.Pair.AdjacentIterator

hasNext() - Method in class net.hydromatic.morel.util.Pair.FirstAndIterator

hasNext() - Method in class net.hydromatic.morel.util.Pair.LeftIterator

hasNext() - Method in class net.hydromatic.morel.util.Pair.RightIterator

hasNext() - Method in class net.hydromatic.morel.util.Pair.ZipIterator

hasType(AstNode) - Method in class net.hydromatic.morel.compile.TypeResolver.TypeMap

Returns whether an AST node has a type.

help - Variable in class net.hydromatic.morel.Shell

help() - Method in class net.hydromatic.morel.Shell

I

i - Variable in class net.hydromatic.morel.util.Ord

id - Variable in class net.hydromatic.morel.ast.Ast.Aggregate

id - Variable in class net.hydromatic.morel.ast.Ast.TyCon

id(Pos, String) - Method in enum net.hydromatic.morel.ast.AstBuilder

Id(Pos, String) - Constructor for class net.hydromatic.morel.ast.Ast.Id

Creates an Id.

ID - net.hydromatic.morel.ast.Op

ID_PAT - net.hydromatic.morel.ast.Op

idPat(Pos, String) - Method in enum net.hydromatic.morel.ast.AstBuilder

IdPat(Pos, String) - Constructor for class net.hydromatic.morel.ast.Ast.IdPat

idTuple(List<String>) - Static method in class net.hydromatic.morel.compile.TypeResolver

Converts a list of variable names to a variable or tuple.

If(Pos, Ast.Exp, Ast.Exp, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.If

IF - net.hydromatic.morel.ast.Op

ifFalse - Variable in class net.hydromatic.morel.ast.Ast.If

ifThenElse(Pos, Ast.Exp, Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

ifThenElse(Code, Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

ifTrue - Variable in class net.hydromatic.morel.ast.Ast.If

IGNORE - net.hydromatic.morel.compile.BuiltIn

Function "ignore", of type "α → unit".

IGNORE - Static variable in class net.hydromatic.morel.eval.Codes

implicitLabel(Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

in - Variable in class net.hydromatic.morel.Main

indent(StringBuilder, int) - Static method in class net.hydromatic.morel.compile.Pretty

indexOf(Object) - Method in class net.hydromatic.morel.util.ConsList

infix(int, AstNode, Op, AstNode, int) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a call to an infix operator.

infix(Op, Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a call to an infix operator.

infix(TypeResolver.TypeEnv, Ast.InfixCall, Unifier.Variable, Type) - Method in class net.hydromatic.morel.compile.TypeResolver

Registers an infix operator whose type is a given type.

infixCall(Pos, Op, Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

InfixCall(Pos, Op, Ast.Exp, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.InfixCall

infixOverloaded(TypeResolver.TypeEnv, Ast.InfixCall, Unifier.Variable, Type) - Method in class net.hydromatic.morel.compile.TypeResolver

Registers an infix or prefix operator whose type is the same as its arguments.

infixPat(Pos, Op, Ast.Pat, Ast.Pat) - Method in enum net.hydromatic.morel.ast.AstBuilder

InfixPat(Pos, Op, Ast.Pat, Ast.Pat) - Constructor for class net.hydromatic.morel.ast.Ast.InfixPat

INSTANCE - net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

INSTANCE - net.hydromatic.morel.type.DummyType

INSTANCE - Static variable in class net.hydromatic.morel.compile.Environments.EmptyEnvironment

INSTANCE - Static variable in class net.hydromatic.morel.eval.Unit

INT - net.hydromatic.morel.type.PrimitiveType

INT_LITERAL - net.hydromatic.morel.ast.Op

INT_LITERAL_PAT - net.hydromatic.morel.ast.Op

INT_STRINGS - Static variable in class net.hydromatic.morel.compile.TypeResolver

intLiteral(BigDecimal, Pos) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates an int literal.

isConstant() - Method in interface net.hydromatic.morel.eval.Code

isContiguousIntegers(NavigableSet<String>) - Method in class net.hydromatic.morel.compile.TypeResolver

Returns whether a collection consists of ["1", "2", ...

isEmpty() - Method in class net.hydromatic.morel.util.AbstractImmutableList

isPrefix(String) - Static method in class net.hydromatic.morel.eval.Codes

isSubstring(String) - Static method in class net.hydromatic.morel.eval.Codes

isSuffix(String) - Static method in class net.hydromatic.morel.eval.Codes

iterator - Variable in class net.hydromatic.morel.util.Pair.AdjacentIterator

iterator - Variable in class net.hydromatic.morel.util.Pair.FirstAndIterator

iterator - Variable in class net.hydromatic.morel.util.Pair.LeftIterator

iterator - Variable in class net.hydromatic.morel.util.Pair.RightIterator

iterator() - Method in class net.hydromatic.morel.util.AbstractImmutableList

iterator() - Method in class net.hydromatic.morel.util.ConsList

K

ks - Variable in class net.hydromatic.morel.util.Pair.MutableZipList

ks - Variable in class net.hydromatic.morel.util.Pair.ZipList

L

lastIndexOf(Object) - Method in class net.hydromatic.morel.util.ConsList

le(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "<=".

LE - net.hydromatic.morel.ast.Op

left - Variable in enum net.hydromatic.morel.ast.Op

Left precedence

left - Variable in class net.hydromatic.morel.util.Pair

left - Variable in class net.hydromatic.morel.util.Unifier.TermTerm

left(Iterable<? extends Map.Entry<L, R>>) - Static method in class net.hydromatic.morel.util.Pair

Returns an iterable over the left slice of an iterable.

left(List<? extends Map.Entry<K, V>>) - Static method in class net.hydromatic.morel.util.Pair

leftIterator - Variable in class net.hydromatic.morel.util.Pair.ZipIterator

LeftIterator(Iterator<? extends Map.Entry<L, R>>) - Constructor for class net.hydromatic.morel.util.Pair.LeftIterator

lessThan(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

lessThanOrEqual(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

let(List<Code>, Code) - Static method in class net.hydromatic.morel.eval.Codes

let(Pos, Iterable<? extends Ast.Decl>, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

LET - net.hydromatic.morel.ast.Op

LetExp(Pos, ImmutableList<Ast.Decl>, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.LetExp

LINE_LENGTH - Static variable in class net.hydromatic.morel.compile.Pretty

link(Map<Ast.IdPat, Compiler.LinkCode>, Ast.Pat, Code) - Method in class net.hydromatic.morel.compile.Compiler

LinkCode() - Constructor for class net.hydromatic.morel.compile.Compiler.LinkCode

list - Variable in class net.hydromatic.morel.util.TailList

list(int) - Method in interface net.hydromatic.morel.type.TypeSystem.ForallHelper

list(Iterable<? extends Code>) - Static method in class net.hydromatic.morel.eval.Codes

list(Pos, Iterable<? extends Ast.Exp>) - Method in enum net.hydromatic.morel.ast.AstBuilder

List(Pos, Iterable<? extends Ast.Exp>) - Constructor for class net.hydromatic.morel.ast.Ast.List

LIST - net.hydromatic.morel.ast.Op

LIST_ALL - net.hydromatic.morel.compile.BuiltIn

Function "List.all", of type "(α → bool) → α list → bool".

LIST_ALL - Static variable in class net.hydromatic.morel.eval.Codes

LIST_APP - net.hydromatic.morel.compile.BuiltIn

Function "List.app", of type "(α → unit) → α list → unit".

LIST_APP - Static variable in class net.hydromatic.morel.eval.Codes

LIST_AT - net.hydromatic.morel.compile.BuiltIn

Function "List.at", of type "α list * α list → α list".

LIST_AT - Static variable in class net.hydromatic.morel.eval.Codes

LIST_COLLATE - net.hydromatic.morel.compile.BuiltIn

Function "List.collate", of type "(α * α → order) → α list * α list → order".

LIST_COLLATE - Static variable in class net.hydromatic.morel.eval.Codes

LIST_CONCAT - net.hydromatic.morel.compile.BuiltIn

Function "List.concat", of type "α list list → α list".

LIST_CONCAT - Static variable in class net.hydromatic.morel.eval.Codes

LIST_DROP - net.hydromatic.morel.compile.BuiltIn

Function "List.drop", of type "α list * int → α list".

LIST_DROP - Static variable in class net.hydromatic.morel.eval.Codes

LIST_EXISTS - net.hydromatic.morel.compile.BuiltIn

Function "List.exists", of type "(α → bool) → α list → bool".

LIST_EXISTS - Static variable in class net.hydromatic.morel.eval.Codes

LIST_FILTER - net.hydromatic.morel.compile.BuiltIn

Function "List.filter", of type "(α → bool) → α list → α list".

LIST_FILTER - Static variable in class net.hydromatic.morel.eval.Codes

LIST_FIND - net.hydromatic.morel.compile.BuiltIn

Function "List.find", of type "(α → bool) → α list → α option".

LIST_FIND - Static variable in class net.hydromatic.morel.eval.Codes

LIST_FOLDL - net.hydromatic.morel.compile.BuiltIn

Function "List.foldl", of type "(α * β → β) → β → α list → β".

LIST_FOLDL - Static variable in class net.hydromatic.morel.eval.Codes

LIST_FOLDR - net.hydromatic.morel.compile.BuiltIn

Function "List.foldr", of type "(α * β → β) → β → α list → β".

LIST_FOLDR - Static variable in class net.hydromatic.morel.eval.Codes

LIST_GET_ITEM - net.hydromatic.morel.compile.BuiltIn

Function "List.getItem", of type "α list → (α * α list) option".

LIST_GET_ITEM - Static variable in class net.hydromatic.morel.eval.Codes

LIST_HD - net.hydromatic.morel.compile.BuiltIn

Function "List.hd", of type "α list → α".

LIST_HD - Static variable in class net.hydromatic.morel.eval.Codes

LIST_LAST - net.hydromatic.morel.compile.BuiltIn

Function "List.last", of type "α list → α".

LIST_LAST - Static variable in class net.hydromatic.morel.eval.Codes

LIST_LENGTH - net.hydromatic.morel.compile.BuiltIn

Function "List.length", of type "α list → int".

LIST_LENGTH - Static variable in class net.hydromatic.morel.compile.Pretty

LIST_LENGTH - Static variable in class net.hydromatic.morel.eval.Codes

LIST_MAP - net.hydromatic.morel.compile.BuiltIn

Function "List.map", of type "(α → β) → α list → β list".

LIST_MAP - Static variable in class net.hydromatic.morel.eval.Codes

LIST_MAP_PARTIAL - net.hydromatic.morel.compile.BuiltIn

Function "List.mapPartial", of type "(α → β option) → α list → β list".

LIST_NIL - net.hydromatic.morel.compile.BuiltIn

Constant "List.nil", of type "α list".

LIST_NTH - net.hydromatic.morel.compile.BuiltIn

Function "List.nth", of type "α list * int → α".

LIST_NTH - Static variable in class net.hydromatic.morel.eval.Codes

LIST_NULL - net.hydromatic.morel.compile.BuiltIn

Function "List.null", of type "α list → bool".

LIST_NULL - Static variable in class net.hydromatic.morel.eval.Codes

LIST_PARTITION - net.hydromatic.morel.compile.BuiltIn

Function "List.partition", of type "(α → bool) → α list → α list * α list".

LIST_PARTITION - Static variable in class net.hydromatic.morel.eval.Codes

LIST_PAT - net.hydromatic.morel.ast.Op

LIST_REV - net.hydromatic.morel.compile.BuiltIn

Function "List.rev", of type "α list → α list".

LIST_REV - Static variable in class net.hydromatic.morel.eval.Codes

LIST_REV_APPEND - net.hydromatic.morel.compile.BuiltIn

Function "List.revAppend", of type "α list * α list → α list".

LIST_REV_APPEND - Static variable in class net.hydromatic.morel.eval.Codes

LIST_TABULATE - net.hydromatic.morel.compile.BuiltIn

Function "List.tabulate", of type "int * (int → α) → α list".

LIST_TABULATE - Static variable in class net.hydromatic.morel.eval.Codes

LIST_TAKE - net.hydromatic.morel.compile.BuiltIn

Function "List.take", of type "α list * int → α list".

LIST_TAKE - Static variable in class net.hydromatic.morel.eval.Codes

LIST_TL - net.hydromatic.morel.compile.BuiltIn

Function "List.tl", of type "α list → α list".

LIST_TL - Static variable in class net.hydromatic.morel.eval.Codes

LIST_TY_CON - Static variable in class net.hydromatic.morel.compile.TypeResolver

listAll(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listApp(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listEqual(List<E>, List<E>) - Static method in class net.hydromatic.morel.util.Unifier.Sequence

listExists(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listFilter(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listFold(boolean, Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listFold2(boolean, Applicable, Object) - Static method in class net.hydromatic.morel.eval.Codes

listIterator() - Method in class net.hydromatic.morel.util.AbstractImmutableList

listIterator() - Method in class net.hydromatic.morel.util.ConsList

listIterator(int) - Method in class net.hydromatic.morel.util.AbstractImmutableList

listIterator(int) - Method in class net.hydromatic.morel.util.ConsList

listMap(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listPartition(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

listPat(Pos, Iterable<? extends Ast.Pat>) - Method in enum net.hydromatic.morel.ast.AstBuilder

listPat(Pos, Ast.Pat...) - Method in enum net.hydromatic.morel.ast.AstBuilder

ListPat(Pos, ImmutableList<Ast.Pat>) - Constructor for class net.hydromatic.morel.ast.Ast.ListPat

listType(Type) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a list type.

ListType - Class in net.hydromatic.morel.type

The type of a list value.

ListType(String, Type) - Constructor for class net.hydromatic.morel.type.ListType

Literal(Pos, Op, Comparable) - Constructor for class net.hydromatic.morel.ast.Ast.Literal

Creates a Literal.

literalPat(Pos, Op, Comparable) - Method in enum net.hydromatic.morel.ast.AstBuilder

LiteralPat(Pos, Op, Comparable) - Constructor for class net.hydromatic.morel.ast.Ast.LiteralPat

lookup(String) - Method in class net.hydromatic.morel.type.TypeSystem

Looks up a type by name.

lookupOpt(String) - Method in class net.hydromatic.morel.type.TypeSystem

Looks up a type by name, returning null if not found.

lookupTyCon(String) - Method in class net.hydromatic.morel.type.TypeSystem

lower - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue

lt(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "<".

LT - net.hydromatic.morel.ast.Op

M

Macro - Interface in net.hydromatic.morel.compile

A function that is 'called' at compile time, and generates an expanded parse tree.

main(String[]) - Static method in class net.hydromatic.morel.Main

Command-line entry point.

main(String[]) - Static method in class net.hydromatic.morel.Shell

Command-line entry point.

Main - Class in net.hydromatic.morel

Standard ML REPL.

Main(String[], InputStream, PrintStream, Map<String, ForeignValue>) - Constructor for class net.hydromatic.morel.Main

Creates a Main.

Main(String[], Reader, Writer, Map<String, ForeignValue>) - Constructor for class net.hydromatic.morel.Main

Creates a Main.

Main.BufferingReader - Class in net.hydromatic.morel

Reader that snoops which characters have been read and saves them in a buffer until Main.BufferingReader.flush() is called.

map - Variable in class net.hydromatic.morel.compile.TypeResolver

map(Pos, Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

MAP - net.hydromatic.morel.ast.Op

MapEvalEnv(Map<String, Object>) - Constructor for class net.hydromatic.morel.eval.EvalEnvs.MapEvalEnv

MapList<E> - Class in net.hydromatic.morel.util

Read-only list that generates elements between 0 and size - 1 by applying a function.

MapList(int, IntFunction<E>) - Constructor for class net.hydromatic.morel.util.MapList

MartelliUnifier - Class in net.hydromatic.morel.util

Unification algorithm due to Martelli, Montanari (1976) and Paterson, Wegman (1978).

MartelliUnifier() - Constructor for class net.hydromatic.morel.util.MartelliUnifier

match(Pos, Ast.Pat, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

Match(Pos, Ast.Pat, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.Match

MATCH - net.hydromatic.morel.ast.Op

matchList - Variable in class net.hydromatic.morel.ast.Ast.Case

matchList - Variable in class net.hydromatic.morel.ast.Ast.Fn

matchList - Variable in class net.hydromatic.morel.ast.Ast.FunBind

minus(Set<E>, Set<E>) - Static method in class net.hydromatic.morel.eval.Codes

minus(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

minus(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "-".

MINUS - net.hydromatic.morel.ast.Op

mlName - Variable in enum net.hydromatic.morel.compile.BuiltIn

The name as it appears in ML's symbol table.

mlType - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue.FieldConverter

mod(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

mod(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "mod".

MOD - net.hydromatic.morel.ast.Op

MutableEvalEnv - Interface in net.hydromatic.morel.eval

An evaluation environment whose last entry is mutable.

MutableSubEvalEnv(EvalEnv, String) - Constructor for class net.hydromatic.morel.eval.EvalEnvs.MutableSubEvalEnv

MutableZipList(List<K>, List<V>) - Constructor for class net.hydromatic.morel.util.Pair.MutableZipList

N

name - Variable in class net.hydromatic.morel.ast.Ast.DatatypeBind

name - Variable in class net.hydromatic.morel.ast.Ast.FunBind

name - Variable in class net.hydromatic.morel.ast.Ast.FunMatch

name - Variable in class net.hydromatic.morel.ast.Ast.Id

name - Variable in class net.hydromatic.morel.ast.Ast.IdPat

name - Variable in class net.hydromatic.morel.ast.Ast.NamedType

name - Variable in class net.hydromatic.morel.ast.Ast.RecordSelector

name - Variable in class net.hydromatic.morel.ast.Ast.TyVar

name - Variable in class net.hydromatic.morel.compile.Pretty.NamedVal

name - Variable in class net.hydromatic.morel.compile.Pretty.TypedVal

name - Variable in class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

name - Variable in class net.hydromatic.morel.type.Binding

name - Variable in class net.hydromatic.morel.type.DataType

name - Variable in class net.hydromatic.morel.type.TypeSystem.TemporaryType

name - Variable in class net.hydromatic.morel.util.Unifier.Variable

name() - Method in class net.hydromatic.morel.type.DataType

name() - Method in interface net.hydromatic.morel.type.NamedType

Name of the type.

name() - Method in class net.hydromatic.morel.type.TypeSystem.TemporaryType

name(int) - Static method in class net.hydromatic.morel.type.TypeVar

Generates a name for a type variable.

NAME_CACHE - Static variable in class net.hydromatic.morel.type.TypeVar

NAMED_TYPE - net.hydromatic.morel.ast.Op

namedType(Pos, Iterable<? extends Ast.Type>, String) - Method in enum net.hydromatic.morel.ast.AstBuilder

NamedType - Interface in net.hydromatic.morel.type

Type that has a name.

NamedType(Pos, ImmutableList<Ast.Type>, String) - Constructor for class net.hydromatic.morel.ast.Ast.NamedType

Creates a type.

NamedVal(String, Object) - Constructor for class net.hydromatic.morel.compile.Pretty.NamedVal

ne(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "<>".

NE - net.hydromatic.morel.ast.Op

negate(Pos, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

negate(Code) - Static method in class net.hydromatic.morel.eval.Codes

NEGATE - net.hydromatic.morel.ast.Op

net.hydromatic.morel - package net.hydromatic.morel

Standard ML interpreter, implemented in Java.

net.hydromatic.morel.ast - package net.hydromatic.morel.ast

Abstract syntax tree.

net.hydromatic.morel.compile - package net.hydromatic.morel.compile

Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

net.hydromatic.morel.eval - package net.hydromatic.morel.eval

Evaluates expressions.

net.hydromatic.morel.foreign - package net.hydromatic.morel.foreign

Provides access to external data sources.

net.hydromatic.morel.type - package net.hydromatic.morel.type

Type system.

net.hydromatic.morel.util - package net.hydromatic.morel.util

Utilities.

next() - Method in class net.hydromatic.morel.util.Pair.AdjacentIterator

next() - Method in class net.hydromatic.morel.util.Pair.FirstAndIterator

next() - Method in class net.hydromatic.morel.util.Pair.LeftIterator

next() - Method in class net.hydromatic.morel.util.Pair.RightIterator

next() - Method in class net.hydromatic.morel.util.Pair.ZipIterator

node - Variable in class net.hydromatic.morel.compile.TypeResolver.Resolved

nodeTypeTerms - Variable in class net.hydromatic.morel.compile.TypeResolver.TypeMap

NOT - net.hydromatic.morel.compile.BuiltIn

Function "not", of type "bool → bool".

NOT - Static variable in class net.hydromatic.morel.eval.Codes

An applicable that negates a boolean value.

notEqual(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

nth(int) - Static method in class net.hydromatic.morel.eval.Codes

Returns an applicable that returns the slotth field of a tuple or record.

O

o - Variable in class net.hydromatic.morel.compile.Pretty.NamedVal

o - Variable in class net.hydromatic.morel.compile.Pretty.TypedVal

occurs() - Method in class net.hydromatic.morel.util.Unifier

Whether this unifier checks for cycles in substitutions.

of(int, E) - Static method in class net.hydromatic.morel.util.Ord

Creates an Ord.

of(int, IntFunction<E>) - Static method in class net.hydromatic.morel.util.MapList

Creates a MapList.

of(E, List<? extends E>) - Static method in class net.hydromatic.morel.util.ConsList

Creates a ConsList.

of(Map.Entry<K, V>) - Static method in class net.hydromatic.morel.util.Pair

Creates a Pair from a Map.Entry.

of(Ast.Decl, Ast.Decl, TypeResolver.TypeMap) - Static method in class net.hydromatic.morel.compile.TypeResolver.Resolved

of(T1, T2) - Static method in class net.hydromatic.morel.util.Pair

Creates a Pair of appropriate type.

op - Variable in class net.hydromatic.morel.ast.AstNode

op - Variable in class net.hydromatic.morel.type.BaseType

op() - Method in class net.hydromatic.morel.type.BaseType

op() - Method in enum net.hydromatic.morel.type.DummyType

op() - Method in enum net.hydromatic.morel.type.PrimitiveType

op() - Method in interface net.hydromatic.morel.type.Type

Type operator.

op() - Method in class net.hydromatic.morel.type.TypeSystem.TemporaryType

op() - Method in class net.hydromatic.morel.type.TypeVar

Op - Enum in net.hydromatic.morel.ast

Sub-types of AstNode.

Op() - Constructor for enum net.hydromatic.morel.ast.Op

Op(boolean) - Constructor for enum net.hydromatic.morel.ast.Op

Op(String) - Constructor for enum net.hydromatic.morel.ast.Op

Op(String, int) - Constructor for enum net.hydromatic.morel.ast.Op

Op(String, int, boolean) - Constructor for enum net.hydromatic.morel.ast.Op

Op(String, int, int) - Constructor for enum net.hydromatic.morel.ast.Op

operator - Variable in class net.hydromatic.morel.util.Unifier.Sequence

opOverloaded(TypeResolver.TypeEnv, Ast.Exp, Unifier.Variable, Type) - Method in class net.hydromatic.morel.compile.TypeResolver

Registers an infix or prefix operator whose type is the same as its arguments.

Ord<E> - Class in net.hydromatic.morel.util

Pair of an element and an ordinal.

Ord(int, E) - Constructor for class net.hydromatic.morel.util.Ord

Creates an Ord.

Ord.IntObjObjConsumer<K,V> - Interface in net.hydromatic.morel.util

Consumer that receives an ordinal, a key, and a value.

Ord.OrdArrayList<E> - Class in net.hydromatic.morel.util

List of Ord backed by an array of elements.

Ord.OrdList<E> - Class in net.hydromatic.morel.util

List of Ord backed by a list of elements.

Ord.OrdRandomAccessList<E> - Class in net.hydromatic.morel.util

List of Ord backed by a random-access list of elements.

OrdArrayList(E[]) - Constructor for class net.hydromatic.morel.util.Ord.OrdArrayList

ORDERING - Static variable in class net.hydromatic.morel.type.RecordType

Ordering that compares integer values numerically, string values lexicographically, and integer values before string values.

ordinal - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue.FieldConverter

ordinal - Variable in class net.hydromatic.morel.type.TypeVar

ordinal() - Method in class net.hydromatic.morel.util.Unifier.Variable

If the name is "T3", returns 3.

OrdList(List<? extends E>) - Constructor for class net.hydromatic.morel.util.Ord.OrdList

OrdRandomAccessList(List<? extends E>) - Constructor for class net.hydromatic.morel.util.Ord.OrdRandomAccessList

orElse(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

orElse(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "orelse".

ORELSE - net.hydromatic.morel.ast.Op

originalNode - Variable in class net.hydromatic.morel.compile.TypeResolver.Resolved

out - Variable in class net.hydromatic.morel.Main

P

p0 - Variable in class net.hydromatic.morel.ast.Ast.InfixPat

p1 - Variable in class net.hydromatic.morel.ast.Ast.InfixPat

padded - Variable in enum net.hydromatic.morel.ast.Op

Padded name, e.g.

Pair<T1,T2> - Class in net.hydromatic.morel.util

Pair of objects.

Pair(T1, T2) - Constructor for class net.hydromatic.morel.util.Pair

Creates a Pair.

Pair.AdjacentIterator<E> - Class in net.hydromatic.morel.util

Iterator that returns consecutive pairs of elements from an underlying iterator.

Pair.FirstAndIterator<E> - Class in net.hydromatic.morel.util

Iterator that returns the first element of a collection paired with every other element.

Pair.LeftIterator<L,R> - Class in net.hydromatic.morel.util

Iterator that returns the left field of each pair.

Pair.MutableZipList<K,V> - Class in net.hydromatic.morel.util

A mutable list of pairs backed by a pair of mutable lists.

Pair.PairWithOrdinalConsumer<K,V> - Interface in net.hydromatic.morel.util

Represents an operation that accepts two input arguments and an ordinal, and returns no result.

Pair.RightIterator<L,R> - Class in net.hydromatic.morel.util

Iterator that returns the right field of each pair.

Pair.ZipIterator<L,R> - Class in net.hydromatic.morel.util

Iterator that pairs elements from two iterators.

Pair.ZipList<K,V> - Class in net.hydromatic.morel.util

Unmodifiable list of pairs, backed by a pair of lists.

paramType - Variable in class net.hydromatic.morel.ast.Ast.FunctionType

paramType - Variable in class net.hydromatic.morel.type.FnType

parent - Variable in class net.hydromatic.morel.compile.Environments.SubEnvironment

parent - Variable in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

parent - Variable in class net.hydromatic.morel.compile.TypeResolver.PlusSubst

parentEnv - Variable in class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

parseInt(String) - Static method in class net.hydromatic.morel.type.RecordType

Parses a string that contains an integer value, or returns null if the string does not contain an integer.

pat - Variable in class net.hydromatic.morel.ast.Ast.AnnotatedPat

pat - Variable in class net.hydromatic.morel.ast.Ast.ConPat

pat - Variable in class net.hydromatic.morel.ast.Ast.Match

pat - Variable in class net.hydromatic.morel.ast.Ast.ValBind

Pat(Pos, Op) - Constructor for class net.hydromatic.morel.ast.Ast.Pat

patCodes - Variable in class net.hydromatic.morel.eval.Closure

A list of (pattern, code) pairs.

patList - Variable in class net.hydromatic.morel.ast.Ast.FunMatch

patTuple(TypeResolver.TypeEnv, List<Ast.Pat>) - Method in class net.hydromatic.morel.compile.TypeResolver

Converts a list of patterns to a singleton pattern or tuple pattern.

pause() - Method in class net.hydromatic.morel.Shell

Pauses after creating the terminal.

plus(List<E>, E) - Static method in class net.hydromatic.morel.foreign.CalciteForeignValue

Returns a copy of a list with one element appended.

plus(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

plus(Pos) - Method in class net.hydromatic.morel.ast.Pos

plus(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "+".

plus(TypeVar, Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver.Subst

PLUS - net.hydromatic.morel.ast.Op

plusAll(Iterable<Pos>) - Method in class net.hydromatic.morel.ast.Pos

plusAll(List<? extends AstNode>) - Method in class net.hydromatic.morel.ast.Pos

PlusSubst(TypeResolver.Subst, TypeVar, Unifier.Variable) - Constructor for class net.hydromatic.morel.compile.TypeResolver.PlusSubst

populateBuiltIns(Map<String, Object>) - Static method in class net.hydromatic.morel.eval.Codes

pos - Variable in class net.hydromatic.morel.ast.AstNode

Pos - Class in net.hydromatic.morel.ast

Position of a parse-tree node.

Pos(int, int, int, int) - Constructor for class net.hydromatic.morel.ast.Pos

Creates a Pos.

predicate(int) - Method in interface net.hydromatic.morel.type.TypeSystem.ForallHelper

prefix(int, Op, AstNode, int) - Method in class net.hydromatic.morel.ast.AstWriter

Appends a call to an prefix operator.

prefixCall(Pos, Op, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a call to a prefix operator.

PrefixCall(Pos, Op, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.PrefixCall

prefixOverloaded(TypeResolver.TypeEnv, Ast.PrefixCall, Unifier.Variable, Type) - Method in class net.hydromatic.morel.compile.TypeResolver

Registers an infix or prefix operator whose type is the same as its arguments.

prepareDecl(TypeSystem, Environment, Ast.Decl) - Static method in class net.hydromatic.morel.compile.Compiles

Validates and compiles an declaration, and compiles it to code that can be evaluated by the interpreter.

prepareStatement(TypeSystem, Environment, AstNode) - Static method in class net.hydromatic.morel.compile.Compiles

Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.

pretty(StringBuilder, Type, Object) - Static method in class net.hydromatic.morel.compile.Pretty

Prints a value to a buffer.

Pretty - Class in net.hydromatic.morel.compile

Prints values.

Pretty() - Constructor for class net.hydromatic.morel.compile.Pretty

Pretty.NamedVal - Class in net.hydromatic.morel.compile

Wrapper that indicates that a value should be printed "name = value".

Pretty.TypedVal - Class in net.hydromatic.morel.compile

Wrapper that indicates that a value should be printed "val name = value : type".

pretty1(StringBuilder, int, int[], int, Type, Object) - Static method in class net.hydromatic.morel.compile.Pretty

Prints a value to a buffer.

pretty2(StringBuilder, int, int[], int, Type, Object) - Static method in class net.hydromatic.morel.compile.Pretty

previous - Variable in class net.hydromatic.morel.util.Pair.AdjacentIterator

PrimitiveType - Enum in net.hydromatic.morel.type

Primitive type.

PrimitiveType() - Constructor for enum net.hydromatic.morel.type.PrimitiveType

printAll(List<String>) - Method in class net.hydromatic.morel.Shell

R

read() - Method in class net.hydromatic.morel.Main.BufferingReader

read(char[], int, int) - Method in class net.hydromatic.morel.Main.BufferingReader

REAL - net.hydromatic.morel.type.PrimitiveType

REAL_LITERAL - net.hydromatic.morel.ast.Op

REAL_LITERAL_PAT - net.hydromatic.morel.ast.Op

realLiteral(BigDecimal, Pos) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a float literal.

rec - Variable in class net.hydromatic.morel.ast.Ast.ValBind

record(NavigableMap<String, Unifier.Term>) - Method in class net.hydromatic.morel.compile.TypeResolver

record(Pos, Map<String, Ast.Exp>) - Method in enum net.hydromatic.morel.ast.AstBuilder

Record(Pos, ImmutableSortedMap<String, Ast.Exp>) - Constructor for class net.hydromatic.morel.ast.Ast.Record

RECORD - net.hydromatic.morel.ast.Op

RECORD_PAT - net.hydromatic.morel.ast.Op

RECORD_SELECTOR - net.hydromatic.morel.ast.Op

RECORD_TY_CON - Static variable in class net.hydromatic.morel.compile.TypeResolver

RECORD_TYPE - net.hydromatic.morel.ast.Op

recordPat(Pos, boolean, Map<String, ? extends Ast.Pat>) - Method in enum net.hydromatic.morel.ast.AstBuilder

RecordPat(Pos, boolean, ImmutableMap<String, Ast.Pat>) - Constructor for class net.hydromatic.morel.ast.Ast.RecordPat

recordSelector(Pos, String) - Method in enum net.hydromatic.morel.ast.AstBuilder

RecordSelector(Pos, String) - Constructor for class net.hydromatic.morel.ast.Ast.RecordSelector

Creates a record selector.

recordType(SortedMap<String, ? extends Type>) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a record type.

recordType(Pos, Map<String, Ast.Type>) - Method in enum net.hydromatic.morel.ast.AstBuilder

RecordType - Class in net.hydromatic.morel.type

The type of a record value.

RecordType(String, ImmutableSortedMap<String, Type>) - Constructor for class net.hydromatic.morel.type.RecordType

RecordType(Pos, ImmutableMap<String, Ast.Type>) - Constructor for class net.hydromatic.morel.ast.Ast.RecordType

Creates a TyVar.

refCode - Variable in class net.hydromatic.morel.compile.Compiler.LinkCode

reg(E, Unifier.Variable, Unifier.Term) - Method in class net.hydromatic.morel.compile.TypeResolver

rel - Variable in class net.hydromatic.morel.foreign.RelList

RELATIONAL_COUNT - net.hydromatic.morel.compile.BuiltIn

Function "Relational.count", aka "count", of type "int list → int".

RELATIONAL_COUNT - Static variable in class net.hydromatic.morel.eval.Codes

RELATIONAL_SUM - net.hydromatic.morel.compile.BuiltIn

Function "Relational.sum", aka "sum", of type "int list → int".

RELATIONAL_SUM - Static variable in class net.hydromatic.morel.eval.Codes

relBuilder - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue

RelList - Class in net.hydromatic.morel.foreign

A list whose contents are computed by evaluating a relational expression.

RelList(RelNode, DataContext, Function1<Object[], List<Object>>) - Constructor for class net.hydromatic.morel.foreign.RelList

remove() - Method in class net.hydromatic.morel.util.Pair.AdjacentIterator

remove() - Method in class net.hydromatic.morel.util.Pair.FirstAndIterator

remove() - Method in class net.hydromatic.morel.util.Pair.LeftIterator

remove() - Method in class net.hydromatic.morel.util.Pair.RightIterator

remove() - Method in class net.hydromatic.morel.util.Pair.ZipIterator

remove(int) - Method in class net.hydromatic.morel.util.AbstractImmutableList

remove(int) - Method in class net.hydromatic.morel.util.Pair.MutableZipList

remove(int) - Method in class net.hydromatic.morel.util.TailList

remove(Object) - Method in class net.hydromatic.morel.util.AbstractImmutableList

removeAll(Collection<?>) - Method in class net.hydromatic.morel.util.AbstractImmutableList

resolve() - Method in class net.hydromatic.morel.util.Unifier.Substitution

resolve(Unifier.Term) - Method in class net.hydromatic.morel.util.Unifier.Substitution

Resolved(Ast.Decl, Ast.Decl, TypeResolver.TypeMap) - Constructor for class net.hydromatic.morel.compile.TypeResolver.Resolved

rest - Variable in class net.hydromatic.morel.util.ConsList

resultMap - Variable in class net.hydromatic.morel.util.Unifier.Substitution

The result of the unification algorithm proper.

resultType - Variable in class net.hydromatic.morel.ast.Ast.FunctionType

resultType - Variable in class net.hydromatic.morel.type.FnType

retainAll(Collection<?>) - Method in class net.hydromatic.morel.util.AbstractImmutableList

reverse(E...) - Static method in class net.hydromatic.morel.util.Ord

Iterates over an array in reverse order.

reverse(Iterable<? extends E>) - Static method in class net.hydromatic.morel.util.Ord

Iterates over a list in reverse order.

right - Variable in enum net.hydromatic.morel.ast.Op

Right precedence

right - Variable in class net.hydromatic.morel.util.Pair

right - Variable in class net.hydromatic.morel.util.Unifier.TermTerm

right(Iterable<? extends Map.Entry<L, R>>) - Static method in class net.hydromatic.morel.util.Pair

Returns an iterable over the right slice of an iterable.

right(List<? extends Map.Entry<K, V>>) - Static method in class net.hydromatic.morel.util.Pair

rightIterator - Variable in class net.hydromatic.morel.util.Pair.ZipIterator

RightIterator(Iterator<? extends Map.Entry<L, R>>) - Constructor for class net.hydromatic.morel.util.Pair.RightIterator

RobinsonUnifier - Class in net.hydromatic.morel.util

Robinson's unification algorithm.

RobinsonUnifier() - Constructor for class net.hydromatic.morel.util.RobinsonUnifier

rootSchema - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

rootSchema(SchemaPlus) - Static method in class net.hydromatic.morel.foreign.CalciteForeignValue

run() - Method in class net.hydromatic.morel.Main

run() - Method in class net.hydromatic.morel.Shell

S

schema - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue

Sequence(String) - Constructor for class net.hydromatic.morel.util.Unifier.Sequence

Sequence(String, List<Unifier.Term>) - Constructor for class net.hydromatic.morel.util.Unifier.Sequence

sequenceApply(String, Map<Unifier.Variable, Unifier.Term>, Iterable<Unifier.Term>) - Static method in class net.hydromatic.morel.util.Unifier

sequenceMap - Variable in class net.hydromatic.morel.util.Unifier

sequenceUnify(Unifier.Sequence, Unifier.Sequence) - Method in class net.hydromatic.morel.util.RobinsonUnifier

set(int, E) - Method in class net.hydromatic.morel.util.AbstractImmutableList

set(int, E) - Method in class net.hydromatic.morel.util.TailList

set(int, Pair<K, V>) - Method in class net.hydromatic.morel.util.Pair.MutableZipList

set(Object) - Method in class net.hydromatic.morel.eval.EvalEnvs.MutableSubEvalEnv

set(Object) - Method in interface net.hydromatic.morel.eval.MutableEvalEnv

setValue(E) - Method in class net.hydromatic.morel.util.Ord

setValue(T2) - Method in class net.hydromatic.morel.util.Pair

Shell - Class in net.hydromatic.morel

Command shell for ML, powered by JLine3.

Shell(List<String>, InputStream, OutputStream) - Constructor for class net.hydromatic.morel.Shell

Creates a Shell.

Shuttle - Class in net.hydromatic.morel.ast

Visits and transforms syntax trees.

Shuttle() - Constructor for class net.hydromatic.morel.ast.Shuttle

size - Variable in class net.hydromatic.morel.util.MapList

size - Variable in class net.hydromatic.morel.util.Pair.ZipList

size() - Method in class net.hydromatic.morel.compile.Compiler.ComparableSingletonList

size() - Method in class net.hydromatic.morel.eval.Unit

size() - Method in class net.hydromatic.morel.foreign.RelList

size() - Method in class net.hydromatic.morel.util.ConsList

size() - Method in class net.hydromatic.morel.util.MapList

size() - Method in class net.hydromatic.morel.util.Ord.OrdArrayList

size() - Method in class net.hydromatic.morel.util.Ord.OrdList

size() - Method in class net.hydromatic.morel.util.Pair.MutableZipList

size() - Method in class net.hydromatic.morel.util.Pair.ZipList

size() - Method in class net.hydromatic.morel.util.TailList

skip(List<E>) - Static method in class net.hydromatic.morel.util.RobinsonUnifier

slot - Variable in class net.hydromatic.morel.ast.Ast.RecordSelector

Set during validation, after the type of the argument has been deduced, contains the ordinal of the field in the record or tuple that is to be accessed.

sources - Variable in class net.hydromatic.morel.ast.Ast.From

start - Variable in class net.hydromatic.morel.util.TailList

startColumn - Variable in class net.hydromatic.morel.ast.Pos

startLine - Variable in class net.hydromatic.morel.ast.Pos

Static - Class in net.hydromatic.morel.util

Utilities.

Static() - Constructor for class net.hydromatic.morel.util.Static

str(int) - Static method in class net.hydromatic.morel.compile.TypeResolver

Converts an integer to its string representation, using a cached value if possible.

STRING - net.hydromatic.morel.type.PrimitiveType

STRING_CONCAT - net.hydromatic.morel.compile.BuiltIn

Function "String.concat", of type "string list → string".

STRING_CONCAT - Static variable in class net.hydromatic.morel.eval.Codes

STRING_CONCAT_WITH - net.hydromatic.morel.compile.BuiltIn

Function "String.concatWith", of type "string → string list → string".

STRING_CONCAT_WITH - Static variable in class net.hydromatic.morel.eval.Codes

STRING_EXPLODE - net.hydromatic.morel.compile.BuiltIn

Function "String.explode", of type "string → char list".

STRING_EXPLODE - Static variable in class net.hydromatic.morel.eval.Codes

STRING_EXTRACT - net.hydromatic.morel.compile.BuiltIn

Function "String.extract", of type "string * int * int option → string".

STRING_EXTRACT - Static variable in class net.hydromatic.morel.eval.Codes

STRING_IMPLODE - net.hydromatic.morel.compile.BuiltIn

Function "String.implode", of type "char list → string".

STRING_IMPLODE - Static variable in class net.hydromatic.morel.eval.Codes

STRING_IS_PREFIX - net.hydromatic.morel.compile.BuiltIn

Function "String.isPrefix", of type "string → string → bool".

STRING_IS_PREFIX - Static variable in class net.hydromatic.morel.eval.Codes

STRING_IS_SUBSTRING - net.hydromatic.morel.compile.BuiltIn

Function "String.isSubstring", of type "string → string → bool".

STRING_IS_SUBSTRING - Static variable in class net.hydromatic.morel.eval.Codes

STRING_IS_SUFFIX - net.hydromatic.morel.compile.BuiltIn

Function "String.isSuffix", of type "string → string → bool".

STRING_IS_SUFFIX - Static variable in class net.hydromatic.morel.eval.Codes

STRING_LITERAL - net.hydromatic.morel.ast.Op

STRING_LITERAL_PAT - net.hydromatic.morel.ast.Op

STRING_MAP - net.hydromatic.morel.compile.BuiltIn

Function "String.map", of type "(char → char) → string → string".

STRING_MAP - Static variable in class net.hydromatic.morel.eval.Codes

STRING_MAX_SIZE - net.hydromatic.morel.compile.BuiltIn

Constant "String.maxSize", of type "int".

STRING_MAX_SIZE - Static variable in class net.hydromatic.morel.eval.Codes

STRING_SIZE - net.hydromatic.morel.compile.BuiltIn

Function "String.size", of type "string → int".

STRING_SIZE - Static variable in class net.hydromatic.morel.eval.Codes

STRING_STR - net.hydromatic.morel.compile.BuiltIn

Function "String.str", of type "char → string".

STRING_STR - Static variable in class net.hydromatic.morel.eval.Codes

STRING_SUB - net.hydromatic.morel.compile.BuiltIn

Function "String.sub", of type "string * int → char".

STRING_SUB - Static variable in class net.hydromatic.morel.eval.Codes

STRING_SUBSTRING - net.hydromatic.morel.compile.BuiltIn

Function "String.substring", of type "string * int * int → string".

STRING_SUBSTRING - Static variable in class net.hydromatic.morel.eval.Codes

STRING_TRANSLATE - net.hydromatic.morel.compile.BuiltIn

Function "String.translate", of type "(char → string) → string → string".

STRING_TRANSLATE - Static variable in class net.hydromatic.morel.eval.Codes

stringConcat(String) - Static method in class net.hydromatic.morel.eval.Codes

stringLiteral(Pos, String) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a string literal.

stringMap(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

SubEnvironment(Environment, Binding) - Constructor for class net.hydromatic.morel.compile.Environments.SubEnvironment

SubEvalEnv(EvalEnv, String, Object) - Constructor for class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

subList(int, int) - Method in class net.hydromatic.morel.util.AbstractImmutableList

Subst() - Constructor for class net.hydromatic.morel.compile.TypeResolver.Subst

substitution - Variable in class net.hydromatic.morel.compile.TypeResolver.TypeMap

substitution(Unifier.Term...) - Method in class net.hydromatic.morel.util.Unifier

Creates a substitution.

Substitution(Map<Unifier.Variable, Unifier.Term>) - Constructor for class net.hydromatic.morel.util.Unifier.Substitution

sum(Iterable<E>, Function<E, Pos>) - Static method in class net.hydromatic.morel.ast.Pos

sum(Iterable<Pos>) - Static method in class net.hydromatic.morel.ast.Pos

Combines an iterable of parser positions to create a position which spans from the beginning of the first to the end of the last.

sum(Iterable<Pos>, int, int, int, int) - Static method in class net.hydromatic.morel.ast.Pos

Computes the parser position which is the sum of an array of parser positions and of a parser position represented by (line, column, endLine, endColumn).

sum(List<? extends AstNode>) - Static method in class net.hydromatic.morel.ast.Pos

sum_(List<Pos>) - Static method in class net.hydromatic.morel.ast.Pos

Combines a list of parser positions to create a position which spans from the beginning of the first to the end of the last.

supplier - Variable in class net.hydromatic.morel.foreign.RelList

SYS_ENV - net.hydromatic.morel.compile.BuiltIn

Function "Sys.env", aka "env", of type "unit → string list".

SYS_ENV - Static variable in class net.hydromatic.morel.eval.Codes

system - Variable in class net.hydromatic.morel.Shell

T

TailList<E> - Class in net.hydromatic.morel.util

A dynamic list that reads from a given point in a backing list.

TailList(List<E>) - Constructor for class net.hydromatic.morel.util.TailList

Creates a list whose start is the current size of the backing list.

TailList(List<E>, int) - Constructor for class net.hydromatic.morel.util.TailList

Creates a list that reads elements from a given backing list after a given start point.

TEMPORARY_DATA_TYPE - net.hydromatic.morel.ast.Op

Used internally, while resolving a self-referential DATA_TYPE.

temporaryType(String) - Method in class net.hydromatic.morel.type.TypeSystem

TemporaryType(TypeSystem, String) - Constructor for class net.hydromatic.morel.type.TypeSystem.TemporaryType

tempValues - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue.Converter

term - Variable in class net.hydromatic.morel.compile.TypeResolver.TermVariable

termFactory - Variable in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

terminal - Variable in class net.hydromatic.morel.Shell

terms - Variable in class net.hydromatic.morel.compile.TypeResolver

terms - Variable in class net.hydromatic.morel.util.Unifier.Sequence

TermTerm(Unifier.Term, Unifier.Term) - Constructor for class net.hydromatic.morel.util.Unifier.TermTerm

termToType(Unifier.Term) - Method in class net.hydromatic.morel.compile.TypeResolver.TypeMap

TermToTypeConverter(TypeResolver.TypeMap) - Constructor for class net.hydromatic.morel.compile.TypeResolver.TermToTypeConverter

TermVariable(Unifier.Term, Unifier.Variable) - Constructor for class net.hydromatic.morel.compile.TypeResolver.TermVariable

times(Ast.Exp, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

times(Code, Code) - Static method in class net.hydromatic.morel.eval.Codes

Returns a Code that evaluates "*".

TIMES - net.hydromatic.morel.ast.Op

toArray() - Method in class net.hydromatic.morel.util.ConsList

toArray(T[]) - Method in class net.hydromatic.morel.util.ConsList

toExp(Ast.ValDecl) - Static method in class net.hydromatic.morel.compile.Compiles

Converts val = e to e; the converse of Compiles.toValDecl(Ast.Exp).

toImmutableList() - Static method in class net.hydromatic.morel.util.Static

Returns a Collector that accumulates the input elements into a Guava ImmutableList via a ImmutableList.Builder.

toList() - Method in class net.hydromatic.morel.util.AbstractImmutableList

toList() - Method in class net.hydromatic.morel.util.ConsList

toMap(Iterable<Pair<K, V>>) - Static method in class net.hydromatic.morel.util.Pair

Converts a collection of Pairs into a Map.

toPat() - Method in enum net.hydromatic.morel.ast.Op

Converts the op of a literal or tuple expression to the corresponding op of a pattern.

toString() - Method in class net.hydromatic.morel.ast.AstNode

Converts this node into an ML string.

toString() - Method in class net.hydromatic.morel.ast.AstWriter

toString() - Method in class net.hydromatic.morel.ast.Pos

toString() - Method in class net.hydromatic.morel.compile.Environment

toString() - Method in class net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

toString() - Method in class net.hydromatic.morel.compile.TypeResolver.EmptySubst

toString() - Method in enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

toString() - Method in class net.hydromatic.morel.compile.TypeResolver.PlusSubst

toString() - Method in class net.hydromatic.morel.compile.TypeResolver.TermVariable

toString() - Method in class net.hydromatic.morel.eval.Closure

toString() - Method in class net.hydromatic.morel.eval.EvalEnvs.MapEvalEnv

toString() - Method in class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

toString() - Method in class net.hydromatic.morel.eval.Unit

toString() - Method in class net.hydromatic.morel.type.Binding

toString() - Method in class net.hydromatic.morel.type.TypeVar

Returns a string for debugging; see also TypeVar.description().

toString() - Method in class net.hydromatic.morel.util.ConsList

toString() - Method in class net.hydromatic.morel.util.Pair

toString() - Method in class net.hydromatic.morel.util.Unifier.Sequence

toString() - Method in class net.hydromatic.morel.util.Unifier.Substitution

toString() - Method in class net.hydromatic.morel.util.Unifier.TermTerm

toString() - Method in class net.hydromatic.morel.util.Unifier.Variable

toString(AstNode) - Static method in class net.hydromatic.morel.ast.Ast

toTerm(PrimitiveType) - Method in class net.hydromatic.morel.compile.TypeResolver

toTerm(Type, TypeResolver.Subst) - Method in class net.hydromatic.morel.compile.TypeResolver

toTerms(Iterable<? extends Type>, TypeResolver.Subst) - Method in class net.hydromatic.morel.compile.TypeResolver

toType(Ast.Type) - Method in class net.hydromatic.morel.compile.TypeResolver

toType(RelDataTypeField) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue

toType(Table, TypeSystem) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue

toTypes(List<Ast.Type>) - Method in class net.hydromatic.morel.compile.TypeResolver

toValBind(TypeResolver.TypeEnv, Ast.FunBind) - Method in class net.hydromatic.morel.compile.TypeResolver

toValDecl(Ast.Exp) - Static method in class net.hydromatic.morel.compile.Compiles

Converts e to val = e.

toValDecl(TypeResolver.TypeEnv, Ast.FunDecl) - Method in class net.hydromatic.morel.compile.TypeResolver

Converts a function declaration to a value declaration.

translate(Applicable) - Static method in class net.hydromatic.morel.eval.Codes

TRUE - net.hydromatic.morel.compile.BuiltIn

Literal "true", of type "bool".

tuple(Iterable<? extends Code>) - Static method in class net.hydromatic.morel.eval.Codes

tuple(List<Unifier.Term>) - Method in class net.hydromatic.morel.compile.TypeResolver

tuple(Pos, Iterable<? extends Ast.Exp>) - Method in enum net.hydromatic.morel.ast.AstBuilder

Tuple(Pos, Iterable<? extends Ast.Exp>) - Constructor for class net.hydromatic.morel.ast.Ast.Tuple

TUPLE - net.hydromatic.morel.ast.Op

TUPLE_PAT - net.hydromatic.morel.ast.Op

TUPLE_TY_CON - Static variable in class net.hydromatic.morel.compile.TypeResolver

TUPLE_TYPE - net.hydromatic.morel.ast.Op

TupleCode(ImmutableList<Code>) - Constructor for class net.hydromatic.morel.eval.Codes.TupleCode

tuplePat(Pos, Iterable<? extends Ast.Pat>) - Method in enum net.hydromatic.morel.ast.AstBuilder

tuplePat(Pos, Ast.Pat...) - Method in enum net.hydromatic.morel.ast.AstBuilder

TuplePat(Pos, ImmutableList<Ast.Pat>) - Constructor for class net.hydromatic.morel.ast.Ast.TuplePat

tupleType(List<? extends Type>) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a tuple type.

tupleType(Pos, Iterable<Ast.Type>) - Method in enum net.hydromatic.morel.ast.AstBuilder

tupleType(Type...) - Method in class net.hydromatic.morel.type.TypeSystem

Creates a tuple type from an array of types.

TupleType - Class in net.hydromatic.morel.type

The type of a tuple value.

TupleType(String, ImmutableList<Type>) - Constructor for class net.hydromatic.morel.type.TupleType

TupleType(Pos, ImmutableList<Ast.Type>) - Constructor for class net.hydromatic.morel.ast.Ast.TupleType

TY_CON - net.hydromatic.morel.ast.Op

TY_VAR - net.hydromatic.morel.ast.Op

tyCon - Variable in class net.hydromatic.morel.ast.Ast.Con0Pat

tyCon - Variable in class net.hydromatic.morel.ast.Ast.ConPat

tyCon(Type, String) - Static method in class net.hydromatic.morel.eval.Codes

Returns an applicable that constructs an instance of a datatype.

TyCon(Pos, Ast.Id, Ast.Type) - Constructor for class net.hydromatic.morel.ast.Ast.TyCon

tyCons - Variable in class net.hydromatic.morel.ast.Ast.DatatypeBind

type - Variable in class net.hydromatic.morel.ast.Ast.AnnotatedExp

type - Variable in class net.hydromatic.morel.ast.Ast.AnnotatedPat

type - Variable in class net.hydromatic.morel.ast.Ast.TyCon

type - Variable in class net.hydromatic.morel.compile.Pretty.TypedVal

type - Variable in class net.hydromatic.morel.type.ApplyType

type - Variable in class net.hydromatic.morel.type.Binding

type - Variable in class net.hydromatic.morel.type.ForallType

type(TypeSystem) - Method in class net.hydromatic.morel.foreign.CalciteForeignValue

type(TypeSystem) - Method in interface net.hydromatic.morel.foreign.ForeignValue

Type - Interface in net.hydromatic.morel.type

Type.

Type(Pos, Op) - Constructor for class net.hydromatic.morel.ast.Ast.Type

Creates a type node.

typeByName - Variable in class net.hydromatic.morel.type.TypeSystem

typeConstructor(Pos, Ast.Id, Ast.Type) - Method in enum net.hydromatic.morel.ast.AstBuilder

typeConstructorByName - Variable in class net.hydromatic.morel.type.TypeSystem

typeConstructors - Variable in class net.hydromatic.morel.type.DataType

TypedVal(String, Object, Type) - Constructor for class net.hydromatic.morel.compile.Pretty.TypedVal

typeEnv - Variable in class net.hydromatic.morel.compile.TypeResolver.TypeEnvHolder

TypeEnvHolder(TypeResolver.TypeEnv) - Constructor for class net.hydromatic.morel.compile.TypeResolver.TypeEnvHolder

typeFactory - Variable in class net.hydromatic.morel.foreign.CalciteForeignValue.EmptyDataContext

typeFunction - Variable in enum net.hydromatic.morel.compile.BuiltIn

Derives a type, in a particular type system, for this constant or function.

typeMap - Variable in class net.hydromatic.morel.compile.Compiler

typeMap - Variable in class net.hydromatic.morel.compile.TypeResolver.Resolved

typeMap - Variable in class net.hydromatic.morel.compile.TypeResolver.TermToTypeConverter

TypeMap(TypeSystem, Map<AstNode, Unifier.Term>, Unifier.Substitution) - Constructor for class net.hydromatic.morel.compile.TypeResolver.TypeMap

TypeResolver - Class in net.hydromatic.morel.compile

Resolves the type of an expression.

TypeResolver(TypeSystem) - Constructor for class net.hydromatic.morel.compile.TypeResolver

TypeResolver.BindTypeEnv - Class in net.hydromatic.morel.compile

A type environment that consists of a type environment plus one binding.

TypeResolver.EmptySubst - Class in net.hydromatic.morel.compile

Empty substitution.

TypeResolver.EmptyTypeEnv - Enum in net.hydromatic.morel.compile

Empty type environment.

TypeResolver.PlusSubst - Class in net.hydromatic.morel.compile

Substitution that adds one (type, variable) assignment to a parent substitution.

TypeResolver.Resolved - Class in net.hydromatic.morel.compile

Result of validating a declaration.

TypeResolver.Subst - Class in net.hydromatic.morel.compile

Substitution.

TypeResolver.TermToTypeConverter - Class in net.hydromatic.morel.compile

Visitor that converts type terms into actual types.

TypeResolver.TermVariable - Class in net.hydromatic.morel.compile

Pair consisting of a term and a variable.

TypeResolver.TypeEnv - Interface in net.hydromatic.morel.compile

Type environment.

TypeResolver.TypeEnvHolder - Class in net.hydromatic.morel.compile

Contains a TypeResolver.TypeEnv and adds to it by calling TypeResolver.TypeEnv.bind(String, Function).

TypeResolver.TypeMap - Class in net.hydromatic.morel.compile

The result of type resolution, a map from AST nodes to types.

types - Variable in class net.hydromatic.morel.ast.Ast.CompositeType

types - Variable in class net.hydromatic.morel.ast.Ast.NamedType

types - Variable in class net.hydromatic.morel.ast.Ast.TupleType

types - Variable in class net.hydromatic.morel.type.ApplyType

typeSystem - Variable in class net.hydromatic.morel.compile.TypeResolver.TypeMap

typeSystem - Variable in class net.hydromatic.morel.compile.TypeResolver

typeSystem - Variable in class net.hydromatic.morel.type.TypeSystem.TemporaryType

TypeSystem - Class in net.hydromatic.morel.type

A table that contains all types in use, indexed by their description (e.g.

TypeSystem() - Constructor for class net.hydromatic.morel.type.TypeSystem

TypeSystem.ForallHelper - Interface in net.hydromatic.morel.type

Provides access to type variables from within a call to TypeSystem.forallType(int, Function).

TypeSystem.TemporaryType - Class in net.hydromatic.morel.type

Placeholder for a type that is being recursively defined.

TypeSystem.VariableCollector - Class in net.hydromatic.morel.type

Visitor that finds all TypeVar instances within a Type.

typeVar - Variable in class net.hydromatic.morel.compile.TypeResolver.PlusSubst

TypeVar - Class in net.hydromatic.morel.type

Type variable (e.g.

TypeVar(int) - Constructor for class net.hydromatic.morel.type.TypeVar

Creates a type variable with a given ordinal.

typeVariable(int) - Method in class net.hydromatic.morel.type.TypeSystem

typeVars - Variable in class net.hydromatic.morel.compile.TypeResolver.TypeMap

typeVars - Variable in class net.hydromatic.morel.type.DataType

typeVars - Variable in class net.hydromatic.morel.type.ForallType

TypeVisitor<R> - Class in net.hydromatic.morel.type

Visitor over Type objects.

TypeVisitor() - Constructor for class net.hydromatic.morel.type.TypeVisitor

tyVar(Pos, String) - Method in enum net.hydromatic.morel.ast.AstBuilder

TyVar(Pos, String) - Constructor for class net.hydromatic.morel.ast.Ast.TyVar

Creates a TyVar.

tyVarMap - Variable in class net.hydromatic.morel.compile.TypeResolver

tyVars - Variable in class net.hydromatic.morel.ast.Ast.DatatypeBind

U

unifier - Variable in class net.hydromatic.morel.compile.TypeResolver

Unifier - Class in net.hydromatic.morel.util

Given pairs of terms, finds a substitution to minimize those pairs of terms.

Unifier() - Constructor for class net.hydromatic.morel.util.Unifier

Unifier.Action - Interface in net.hydromatic.morel.util

Called by the unifier when a Term's type becomes known.

Unifier.CycleException - Exception in net.hydromatic.morel.util

Control flow exception, thrown by Unifier.Term.checkCycle(Map, Map) if it finds a cycle in a substitution map.

Unifier.Failure - Class in net.hydromatic.morel.util

Result indicating that unification was not possible.

Unifier.Result - Interface in net.hydromatic.morel.util

Result of attempting unification.

Unifier.Sequence - Class in net.hydromatic.morel.util

A sequence of terms.

Unifier.Substitution - Class in net.hydromatic.morel.util

The results of a successful unification.

Unifier.Term - Interface in net.hydromatic.morel.util

Term (variable, symbol or node).

Unifier.TermTerm - Class in net.hydromatic.morel.util

A pair of terms.

Unifier.TermVisitor<R> - Interface in net.hydromatic.morel.util

Visitor for terms.

Unifier.Variable - Class in net.hydromatic.morel.util

A variable that represents a symbol or a sequence; unification's task is to find the substitutions for such variables.

unify(List<Unifier.TermTerm>, Map<Unifier.Variable, Unifier.Action>) - Method in class net.hydromatic.morel.util.MartelliUnifier

unify(List<Unifier.TermTerm>, Map<Unifier.Variable, Unifier.Action>) - Method in class net.hydromatic.morel.util.RobinsonUnifier

unify(List<Unifier.TermTerm>, Map<Unifier.Variable, Unifier.Action>) - Method in class net.hydromatic.morel.util.Unifier

unify(Unifier.Term, Unifier.Term) - Method in class net.hydromatic.morel.util.RobinsonUnifier

Unit - Class in net.hydromatic.morel.eval

A placeholder value for the "unit" type.

Unit() - Constructor for class net.hydromatic.morel.eval.Unit

UNIT - net.hydromatic.morel.type.PrimitiveType

UNIT_LITERAL - net.hydromatic.morel.ast.Op

unitLiteral(Pos) - Method in enum net.hydromatic.morel.ast.AstBuilder

Creates a unit literal.

unparse(StringBuilder, Type, int, int) - Static method in class net.hydromatic.morel.type.TypeSystem

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Aggregate

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.AnnotatedExp

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.AnnotatedPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Apply

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Case

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.CompositeType

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Con0Pat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.ConPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.DatatypeBind

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.DatatypeDecl

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Fn

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.From

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.FunBind

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.FunctionType

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.FunDecl

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.FunMatch

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Id

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.IdPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.If

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.InfixCall

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.InfixPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.LetExp

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.List

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.ListPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Literal

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.LiteralPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Match

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.NamedType

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.PrefixCall

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Record

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.RecordPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.RecordSelector

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.RecordType

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.Tuple

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.TuplePat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.TupleType

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.TyCon

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.TyVar

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.ValBind

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.ValDecl

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.Ast.WildcardPat

unparse(AstWriter, int, int) - Method in class net.hydromatic.morel.ast.AstNode

unparseList(StringBuilder, Op, int, int, List<? extends Type>) - Static method in class net.hydromatic.morel.type.TypeSystem

usage() - Method in class net.hydromatic.morel.Shell

V

VAL_BIND - net.hydromatic.morel.ast.Op

VAL_DECL - net.hydromatic.morel.ast.Op

valBind(Pos, boolean, Ast.Pat, Ast.Exp) - Method in enum net.hydromatic.morel.ast.AstBuilder

ValBind(Pos, boolean, Ast.Pat, Ast.Exp) - Constructor for class net.hydromatic.morel.ast.Ast.ValBind

valBinds - Variable in class net.hydromatic.morel.ast.Ast.ValDecl

valDecl(Pos, Iterable<? extends Ast.ValBind>) - Method in enum net.hydromatic.morel.ast.AstBuilder

valDecl(Pos, Ast.ValBind...) - Method in enum net.hydromatic.morel.ast.AstBuilder

ValDecl(Pos, ImmutableList<Ast.ValBind>) - Constructor for class net.hydromatic.morel.ast.Ast.ValDecl

validateExpression(Ast.Exp, Map<String, ForeignValue>) - Static method in class net.hydromatic.morel.compile.Compiles

Validates an expression, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.

value - Variable in class net.hydromatic.morel.ast.Ast.Literal

value - Variable in class net.hydromatic.morel.ast.Ast.LiteralPat

value - Variable in class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

value - Variable in class net.hydromatic.morel.type.Binding

value() - Method in class net.hydromatic.morel.foreign.CalciteForeignValue

value() - Method in interface net.hydromatic.morel.foreign.ForeignValue

valueMap - Variable in class net.hydromatic.morel.eval.EvalEnvs.MapEvalEnv

valueMap - Variable in class net.hydromatic.morel.Main

valueMap - Variable in class net.hydromatic.morel.Shell

valueMap() - Method in interface net.hydromatic.morel.eval.EvalEnv

Returns a map of the values and bindings.

valueOf(String) - Static method in enum net.hydromatic.morel.ast.AstBuilder

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.hydromatic.morel.ast.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.hydromatic.morel.compile.BuiltIn

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.hydromatic.morel.type.DummyType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.hydromatic.morel.type.PrimitiveType

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.hydromatic.morel.ast.AstBuilder

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.hydromatic.morel.ast.Op

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.hydromatic.morel.compile.BuiltIn

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.hydromatic.morel.type.DummyType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.hydromatic.morel.type.PrimitiveType

Returns an array containing the constants of this enum type, in the order they are declared.

variable - Variable in class net.hydromatic.morel.compile.TypeResolver.PlusSubst

variable - Variable in class net.hydromatic.morel.compile.TypeResolver.TermVariable

variable() - Method in class net.hydromatic.morel.util.Unifier

Creates a new variable, with a new name.

variable(String) - Method in class net.hydromatic.morel.util.Unifier

Creates a variable, or returns an existing one with the same name.

Variable(String) - Constructor for class net.hydromatic.morel.util.Unifier.Variable

VariableCollector() - Constructor for class net.hydromatic.morel.type.TypeSystem.VariableCollector

variableMap - Variable in class net.hydromatic.morel.util.Unifier

varId - Variable in class net.hydromatic.morel.util.Unifier

vars - Variable in class net.hydromatic.morel.type.TypeSystem.VariableCollector

visit(BiConsumer<String, Object>) - Method in interface net.hydromatic.morel.eval.EvalEnv

Visits every variable binding in this environment.

visit(BiConsumer<String, Object>) - Method in class net.hydromatic.morel.eval.EvalEnvs.MapEvalEnv

visit(BiConsumer<String, Object>) - Method in class net.hydromatic.morel.eval.EvalEnvs.SubEvalEnv

visit(Consumer<Ast.Pat>) - Method in class net.hydromatic.morel.ast.Ast.Pat

visit(Consumer<Binding>) - Method in class net.hydromatic.morel.compile.Environment

Visits every variable binding in this environment.

visit(Consumer<Binding>) - Method in class net.hydromatic.morel.compile.Environments.EmptyEnvironment

visit(Consumer<Binding>) - Method in class net.hydromatic.morel.compile.Environments.SubEnvironment

visit(Ast.Aggregate) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.AnnotatedExp) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.AnnotatedPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Apply) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Case) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.CompositeType) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Con0Pat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.ConPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.DatatypeBind) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.DatatypeDecl) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Fn) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.From) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.FunBind) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.FunctionType) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.FunDecl) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.FunMatch) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Id) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.IdPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.If) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.InfixCall) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.InfixPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.LetExp) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.List) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.ListPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Literal) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.LiteralPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Match) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.NamedType) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.PrefixCall) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Record) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.RecordPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.RecordSelector) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.RecordType) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.Tuple) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.TuplePat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.TupleType) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.TyCon) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.TyVar) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.ValBind) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.ValDecl) - Method in class net.hydromatic.morel.ast.Shuttle

visit(Ast.WildcardPat) - Method in class net.hydromatic.morel.ast.Shuttle

visit(ApplyType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits an ApplyType.

visit(DataType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a DataType.

visit(FnType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a FnType.

visit(ForallType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a ForallType.

visit(ListType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a ListType.

visit(PrimitiveType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a PrimitiveType.

visit(RecordType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a RecordType.

visit(TupleType) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a TupleType.

visit(TypeVar) - Method in class net.hydromatic.morel.type.TypeSystem.VariableCollector

visit(TypeVar) - Method in class net.hydromatic.morel.type.TypeVisitor

Visits a TypeVar.

visit(Unifier.Sequence) - Method in class net.hydromatic.morel.compile.TypeResolver.TermToTypeConverter

visit(Unifier.Sequence) - Method in interface net.hydromatic.morel.util.Unifier.TermVisitor

visit(Unifier.Variable) - Method in class net.hydromatic.morel.compile.TypeResolver.TermToTypeConverter

visit(Unifier.Variable) - Method in interface net.hydromatic.morel.util.Unifier.TermVisitor

visitList(List<E>) - Method in class net.hydromatic.morel.ast.Shuttle

visitMap(Map<K, E>) - Method in class net.hydromatic.morel.ast.Shuttle

vs - Variable in class net.hydromatic.morel.util.Pair.MutableZipList

vs - Variable in class net.hydromatic.morel.util.Pair.ZipList

W

WILDCARD_PAT - net.hydromatic.morel.ast.Op

wildcardPat(Pos) - Method in enum net.hydromatic.morel.ast.AstBuilder

WildcardPat(Pos) - Constructor for class net.hydromatic.morel.ast.Ast.WildcardPat

Y

yieldExp - Variable in class net.hydromatic.morel.ast.Ast.From

yieldExpOrDefault - Variable in class net.hydromatic.morel.ast.Ast.From

The expression in the yield clause, or the default yield expression if not specified; never null.

Z

ZERO - Static variable in class net.hydromatic.morel.ast.Pos

zip(E[]) - Static method in class net.hydromatic.morel.util.Ord

Returns a numbered list based on an array.

zip(Iterable<? extends E>) - Static method in class net.hydromatic.morel.util.Ord

Creates an iterable of Ords over an iterable.

zip(Iterable<? extends K>, Iterable<? extends V>) - Static method in class net.hydromatic.morel.util.Pair

Converts two iterables into an iterable of Pairs.

zip(Iterator<? extends E>) - Static method in class net.hydromatic.morel.util.Ord

Creates an iterator of Ords over an iterator.

zip(List<? extends E>) - Static method in class net.hydromatic.morel.util.Ord

Returns a numbered list.

zip(List<K>, List<V>) - Static method in class net.hydromatic.morel.util.Pair

Converts two lists into a list of Pairs, whose length is the lesser of the lengths of the source lists.

zip(List<K>, List<V>, boolean) - Static method in class net.hydromatic.morel.util.Pair

Converts two lists into a list of Pairs.

zip(K[], V[]) - Static method in class net.hydromatic.morel.util.Pair

Converts two arrays into a list of Pairs.

ZipIterator(Iterator<? extends L>, Iterator<? extends R>) - Constructor for class net.hydromatic.morel.util.Pair.ZipIterator

ZipList(List<K>, List<V>, int) - Constructor for class net.hydromatic.morel.util.Pair.ZipList

zipMutable(List<K>, List<V>) - Static method in class net.hydromatic.morel.util.Pair

Returns a mutable list of pairs backed by a pair of mutable lists.

A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages