std.core.builtin
The module module std.core.builtin, read from deploy/std/core/builtin.rho. This page is generated from the source, so it describes what the code declares.
Functions
ptr_add()
fn ptr_add[T](p: ptr[T], offset: u64) ptr[T]
ptr_eq()
fn ptr_eq[T](a: ptr[T], b: ptr[T]) bool
ptr_null()
fn ptr_null[T]() ptr[T]
Externs
Externs are supplied by the host rather than declared in Rho, which is how a port reaches a service.
| Extern | Signature |
|---|---|
| abort | extern fn abort() void |
| add_f64 | extern fn add_f64(a: f64, b: f64) f64 |
| add_i32 | extern fn add_i32(a: i32, b: i32) i32 |
| assert | extern fn assert(condition: bool) void |
| div_f64 | extern fn div_f64(a: f64, b: f64) f64 |
| div_i32 | extern fn div_i32(a: i32, b: i32) i32 |
| eq_f64 | extern fn eq_f64(a: f64, b: f64) bool |
| eq_i32 | extern fn eq_i32(a: i32, b: i32) bool |
| gt_f64 | extern fn gt_f64(a: f64, b: f64) bool |
| gt_i32 | extern fn gt_i32(a: i32, b: i32) bool |
| load_u32 | extern fn load_u32(p: ptr[u32]) u32 |
| load_u8 | extern fn load_u8(p: ptr[u8]) u8 |
| lt_f64 | extern fn lt_f64(a: f64, b: f64) bool |
| lt_i32 | extern fn lt_i32(a: i32, b: i32) bool |
| mul_f64 | extern fn mul_f64(a: f64, b: f64) f64 |
| mul_i32 | extern fn mul_i32(a: i32, b: i32) i32 |
| panic | extern fn panic(msg: string) void |
extern fn print(msg: string) void | |
| store_u32 | extern fn store_u32(p: ptr[u32], v: u32) void |
| store_u8 | extern fn store_u8(p: ptr[u8], v: u8) void |
| str_concat | extern fn str_concat(a: string, b: string) string |
| str_eq | extern fn str_eq(a: string, b: string) bool |
| strlen | extern fn strlen(s: string) u64 |
| sub_f64 | extern fn sub_f64(a: f64, b: f64) f64 |
| sub_i32 | extern fn sub_i32(a: i32, b: i32) i32 |