Alpha language reference
Generated by
debug/docs-set.py. Do not edit by hand: this document is derived from the live compiler, so editing it here would only make it disagree with the language.
Each form, who owns its syntax and semantics, and whether it reaches a native artifact today.
| form | syntax owner | static semantics owner | erasure owner | reaches an artifact |
|---|---|---|---|---|
app | Parser.hs | Kernel.hs | Erasure.hs | yes |
bind | Parser.hs | Kernel.hs | Erasure.hs | yes |
byte | Parser.hs | Kernel.hs | Erasure.hs | yes |
byte-and | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
byte-equal | Parser.hs | Kernel.hs | Erasure.hs | yes |
byte-less-than | Parser.hs | Kernel.hs | Erasure.hs | yes |
byte-or | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
byte-shift-left | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
byte-shift-right | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
byte-string-literal | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
byte-to-nat | Parser.hs | Kernel.hs | Erasure.hs | yes |
byte-xor | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
bytes | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-append | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-builder-append | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-builder-build | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-builder-chunk | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-builder-empty | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-checksum | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-cons | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-eliminate | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-equal | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-head | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-index-nonzero | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-length | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-set-free-index | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-set-index | Parser.hs | Kernel.hs | Erasure.hs | yes |
bytes-tail | Parser.hs | Kernel.hs | Erasure.hs | yes |
case | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
computation | Parser.hs | Kernel.hs | Erasure.hs | yes |
constructor | Parser.hs | Kernel.hs | Erasure.hs | yes |
do | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
effect-row | Parser.hs | Kernel.hs | Erasure.hs | yes |
effects | Parser.hs | Kernel.hs | Erasure.hs | yes |
eliminate | Parser.hs | Kernel.hs | Erasure.hs | yes |
equal | Parser.hs | Kernel.hs | Erasure.hs | yes |
f32-add | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
f32-divide | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
f32-equal | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
f32-less-than | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
f32-multiply | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
f32-subtract | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
family | Parser.hs | Kernel.hs | Erasure.hs | yes |
first | Parser.hs | Kernel.hs | Erasure.hs | yes |
fsucc | Parser.hs | Kernel.hs | Erasure.hs | yes |
fzero | Parser.hs | Kernel.hs | Erasure.hs | yes |
ih | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
lambda | Parser.hs | Kernel.hs | Erasure.hs | yes |
let | Parser.hs | Kernel.hs | Erasure.hs | yes |
let* | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
match | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
match-with | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-add | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-divide | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-eliminate | Parser.hs | Kernel.hs | Erasure.hs | yes |
nat-less-than | Parser.hs | Kernel.hs | Erasure.hs | yes |
nat-literal | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-modulo | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-multiply | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-subtract | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
nat-to-byte | Parser.hs | Kernel.hs | Erasure.hs | yes |
pair | Parser.hs | Kernel.hs | Erasure.hs | yes |
partial | Parser.hs | Kernel.hs | Erasure.hs | yes |
pi | Parser.hs | Kernel.hs | Erasure.hs | yes |
project | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
read-file | Parser.hs | Kernel.hs | Erasure.hs | yes |
record | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
refl | Parser.hs | Kernel.hs | Erasure.hs | yes |
return | Parser.hs | Kernel.hs | Erasure.hs | yes |
runtime-image-v4-build | Parser.hs | Kernel.hs | Erasure.hs | yes |
second | Parser.hs | Kernel.hs | Erasure.hs | yes |
sigma | Parser.hs | Kernel.hs | Erasure.hs | yes |
succ | Parser.hs | Kernel.hs | Erasure.hs | yes |
text-literal | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
transport | Parser.hs | Kernel.hs | Erasure.hs | yes |
update | Parser.hs | Kernel.hs | Erasure.hs | unmeasured |
write-file | Parser.hs | Kernel.hs | Erasure.hs | yes |
zero | Parser.hs | Kernel.hs | Erasure.hs | yes |