Module stark::sail [−][src]
Expand description
The Structured Augmentation Interchange Language
A custom Lisp dialect for writing STARK
Re-exports
pub use self::core::*; |
Modules
| core | TODO: Gradual typing; more extensible type system; subtypes |
| eval | |
| memmgt | |
| parser | |
| queue | |
| stdenv |
Structs
| SlContextVal | Bundles together an object and associated symbol table for display |
Enums
| SlErrCode | Basic error codes for Sail faults |
Constants
Functions
| arrvec_get_len | |
| arrvec_get_typ | |
| arrvec_init | |
| arrvec_make | |
| arrvec_rplc | |
| context | Create a SlContextVal for display |
| environment_setup | Set up the symbol table and environment before interpreting Sail code |
| errcode_get | |
| errcode_init | |
| errcode_make | |
| errcode_set | |
| get_pred_type | |
| get_self_type | Returns the type specifier for a Sail object |
| insert_native_procs | Insert a slice of native procedures into the symbol table and environment |
| interpret | Interprets a Sail expression, returning the formatted result |
| repl | Accepts an input stream and runs a read - evaluate - print loop perpetually |
| run_file | Runs a Sail file in its own context |
| set_pred_type | |
| set_self_type | Set the type specifier for a Sail object not of a core type |