compiler/io.github.aplcornell.viaduct.syntax/InfixOperator

InfixOperator

An operator that is written between its operands.

An infix operator has an operand that comes before and an operand that comes after all its named parts. For example, addition (x + y) and the conditional operator (b ? x : y) are infix operators.

Functions

alternativeTypes

open fun alternativeTypes(): List<FunctionType>

In lieu of polymorphic types, have an optional list of alternative types to check against.

apply

abstract fun apply(arguments: List<Value>): Value

Computes the result of applying this operator to arguments.

toDocument

abstract fun toDocument(arguments: List<PrettyPrintable>): Document

Shows this operator applied to arguments.

Properties

associativity

abstract val associativity: Associativity

Determines the grouping of consecutive operators that have the same precedence.

precedence

abstract val precedence: Precedence

Determines the order of this operator with respect to (a subset of) other operators. Operators with higher precedence bind tighter than operators with lower precedence (for example, multiplication has higher precedence than addition).

type

abstract val type: FunctionType

The type of this operator.

Inheritors

BinaryInfixOperator

Mux

Extensions

arity

val Operator.arity: Int

The number of arguments this operator takes.

bindsTighterThan

fun Operator.bindsTighterThan(other: Operator): Boolean

Returns true when this operator has precedence higher than or equal to other.