builtins

Reexports core types and functions that are available without an explicit import.

Classes

array(*args)	Sequence of homogeneous values with statically known fixed length.
bool()	Booleans representing truth values.
float()	An IEEE754 double-precision floating point value.
frozenarray()	An immutable array of fixed static size.
int()	A 64-bit signed integer.
list()	Mutable sequence items with homogeneous types.
nat()	A 64-bit unsigned integer.
Option()	Represents an optional value.
qubit()
SizedIter()	A wrapper around an iterator type L promising that the iterator will yield exactly n values.
str()	A string, i.e. immutable sequences of Unicode code points.
ArrayIter()	Iterator over arrays.
FrozenarrayIter()	Iterator for frozenarrays.
Range()

Functions

abs(x)
callable(x)
divmod(x, y)
exit(msg, signal, *args)	Exit, reporting the given message and signal, and immediately exit the program.
len(x)
nothing()	Constructs a nothing optional value.
panic(msg, *args)	Panic, throwing an error with the given message, and immediately exit the program, aborting any subsequent shots.
pow(x, y)
range(start[, stop, step])	An iterator that yields a sequence of integers.
result(tag, value)	Report a result with the given tag and value.
round(x)
some(value)	Constructs a some optional value.
barrier(*args)	Barrier to guarantee that all operations before the barrier are completed before operations after the barrier are started.
bytecast_float_to_nat(f)
bytecast_nat_to_float(n)
mem_swap(x, y)	Swaps the values of two variables.