functions

Documentation

Overview

Package functions defines the standard builtin functions supported by the interpreter and as declared within the checker#StandardDeclarations.

Index

• type BinaryOp
• type FunctionOp
• type Overload
• type UnaryOp

Types

type BinaryOp

type BinaryOp = fn.BinaryOp

BinaryOp is a function that takes two values and produces an output.

type FunctionOp

type FunctionOp = fn.FunctionOp

FunctionOp is a function with accepts zero or more arguments and produces a value or error as a result.

type Overload

type Overload = fn.Overload

Overload defines a named overload of a function, indicating an operand trait which must be present on the first argument to the overload as well as one of either a unary, binary, or function implementation.

The majority of operators within the expression language are unary or binary and the specializations simplify the call contract for implementers of types with operator overloads. Any added complexity is assumed to be handled by the generic FunctionOp.

type UnaryOp

type UnaryOp = fn.UnaryOp

UnaryOp is a function that takes a single value and produces an output.