Uses of Class
net.hydromatic.morel.ast.Ast.InfixCall

Packages that use Ast.InfixCall

Package	Description
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of Ast.InfixCall in net.hydromatic.morel.ast

Methods in net.hydromatic.morel.ast that return Ast.InfixCall

Modifier and Type	Method	Description
private Ast.InfixCall	AstBuilder.infix(Op op, Ast.Exp a0, Ast.Exp a1)	Creates a call to an infix operator.

Methods in net.hydromatic.morel.ast with parameters of type Ast.InfixCall

Modifier and Type	Method	Description
protected Ast.Exp	Shuttle.visit(Ast.InfixCall infixCall)

Uses of Ast.InfixCall in net.hydromatic.morel.compile

Methods in net.hydromatic.morel.compile with parameters of type Ast.InfixCall

Modifier and Type	Method	Description
private Ast.Exp	TypeResolver.comparison(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator whose type is a given type and whose arguments are the same type.
private Code	Compiler.compileInfix(Environment env, Ast.InfixCall call)
private Ast.Exp	TypeResolver.deduceConsType(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type type)	Registers an infix operator whose type is a given type.
private Ast.Exp	TypeResolver.infixOverloaded(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.