Mux

object Mux : InfixOperator

Cases on the first argument; evaluates to the second argument if the first argument is true, and to the third argument if the first argument is false.

Functions

alternativeTypes
Link copied to clipboard
open override fun alternativeTypes(): List<FunctionType>

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

apply
Link copied to clipboard
open override fun apply(arguments: List<Value>): Value

Computes the result of applying this operator to arguments.

toDocument
Link copied to clipboard
open override fun toDocument(arguments: List<PrettyPrintable>): Document

Shows this operator applied to arguments.

Properties

associativity
Link copied to clipboard
open override val associativity: Associativity

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

precedence
Link copied to clipboard
open override 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
Link copied to clipboard
open override val type: FunctionType

The type of this operator.