keen/unsafe

gc-safe-value[t] t() unsafe

Returns a value which the GC will ignore. This is 'null' for pointers, or an arbitrary value for non-pointer types. In JS, this is the JS 'null' value.

reference-equal[t] bool(a t, b t) unsafe

True if two references have the same pointer. Contrast with a == b which can also be true for different pointers with equal contents.

reinterpret-cast[output, input] output(a input) unsafe

Treat an input as if it were an output. WARN: Use only if you're sure an input can be treated as an output. Otherwise this could cause invalid bytecode to be generated.

safe-reinterpret-cast char8[](a nat8[])

Certain reinterpret-casts are guaranteed to be safe. For example, treating signed integers as unsigned integers wraps based on two's complement.

safe-reinterpret-cast char8[](a int8[])

safe-reinterpret-cast int8[](a char8[])

safe-reinterpret-cast int8[](a nat8[])

safe-reinterpret-cast nat8[](a char8[])

safe-reinterpret-cast nat8[](a int8[])

safe-reinterpret-cast-array[out, input] spec

safe-reinterpret-cast out[](a input[])

safe-reinterpret-cast[out, input] out array-view(a input array-view) (out, input) safe-reinterpret-cast-array

weak-ref[t] builtin

new[t] t weak-ref() unsafe

Create an already-expired reference (weak-refs are intrinsically optional)

new[t] t weak-ref(a t) unsafe

get[t] t option(a t weak-ref) unsafe