Skip to content

Keyword Dictionary

Sean Swezey edited this page Oct 19, 2021 · 16 revisions

:-

The elephant operator. This is used as a short-circuiting exception/error/option operator. It indicates that the left side will have a value upon completion or the operator will return from the current scope with an exception/error/failure state.

In practice, this can be used much like an exception.

Links

::

Used in several contexts to separate bound variables from the body of the definition.

Related

?

? is as a quasi-optional indicator:

  • For datatypes, it can be used to determine if the datatype is a specific value type.
  • For classes and traits, it means the type can be the class/trait or null.

Examples

datatype AorB = A | B
var example := A;
assert example.A?;

class C {}
var cls1: C  := new C();
var cls2: C? := null;

Related

datatype

Creates a new datatype. It is used to create enums and record/struct types and cannot be null.

Examples

datatype NumberRecord = NumberRecord(intField: int, strField: string)
var threeRecord := NumberRecord(3, "three");

Links

exists

Links

forall

forall evaluates an expression for each value provided.

Examples

Related

Links

map

Defines a mapping (ie hashmap, dictionary, etc).

Examples

Related

Links

set

Defines a set.

Examples

Related

Links

Clone this wiki locally