sim-lib-binding 0.1.4

Binding forms and scoped name resolution for SIM runtime evaluation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

#![forbid(unsafe_code)]
#![deny(missing_docs)]
//! Binding behavior for the SIM runtime: lexical, dynamic, and scoped binding.
//!
//! The kernel defines the binding-related contracts; this crate supplies the
//! concrete binding organ (lexical/letrec scopes, dynamic parameters, modes).

mod call;
mod cell;
mod claims;
mod dynamic;
mod let_form;
mod lexical;
mod modes;
mod runtime;

/// Cookbook recipes for the binding organ, embedded at build time.
pub static RECIPES: sim_cookbook::EmbeddedDir =
    include!(concat!(env!("OUT_DIR"), "/cookbook_recipes.rs"));

pub use call::{BoundCall, CallArgument, CallParameter, CallSignature, Remainder};
pub use cell::{BindingCell, BindingCellState};
pub use claims::{
    binding_declared_op_keys, binding_dynamic_let_op_key, binding_let_op_key,
    binding_let_star_op_key, binding_letrec_op_key, binding_live_ops, binding_op_keys,
    binding_organ_symbol, binding_parameterize_op_key, binding_profile_modes_op_key,
    publish_binding_organ_claims, publish_binding_organ_claims_for_lib,
};
pub use dynamic::{DynamicEnv, Parameter};
pub use let_form::LetForm;
pub use lexical::{
    BindingInitializer, LexicalEnv, LexicalFunction, eval_let, eval_let_star, eval_letrec,
    lexical_function_value,
};
pub use modes::{BindingProfileModes, BindingScopeMode, HygieneMode};
pub use runtime::{BindingLib, binding_exports, install_binding_lib, manifest_name};

#[cfg(test)]
mod tests;