Struct LanguageProfile 

pub struct LanguageProfile {
    pub symbol: Symbol,
    pub reader: Symbol,
    pub lowering: Symbol,
    pub eval_policy: Symbol,
    pub organs: Vec<OrganUse>,
    pub numeric_tower: Option<Symbol>,
    pub capabilities: Vec<CapabilityName>,
    pub unsupported_forms: Vec<Symbol>,
    pub conformance_tests: Vec<Symbol>,
    pub fidelity_badges: Vec<FidelityBadge>,
}

A language profile: the reader, lowering, eval-policy, organs, and metadata that present one surface language over the shared Expr graph.

Profiles are the unit the standard distribution installs, diffs, and tests; the per-language sim-lib-lang-* crates build one each.

Examples

use sim_kernel::Symbol;
use sim_lib_standard_core::{LanguageProfile, OrganUse, standard_control_organ_symbol};

let profile = LanguageProfile::new(Symbol::qualified("lang", "demo/v1"))
    .with_reader(Symbol::qualified("codec", "lisp"))
    .with_eval_policy(Symbol::qualified("eval", "default"))
    .with_organ(OrganUse::new(standard_control_organ_symbol()));

assert_eq!(profile.reader, Symbol::qualified("codec", "lisp"));
assert_eq!(profile.organs.len(), 1);

Fields

symbol: Symbol

Symbol naming the profile.

reader: Symbol

Reader (codec) symbol the profile parses with.

lowering: Symbol

Lowering symbol mapping surface forms onto the shared graph.

eval_policy: Symbol

Eval-policy symbol the profile evaluates under.

organs: Vec<OrganUse>

Organs the profile uses.

numeric_tower: Option<Symbol>

Optional numeric tower symbol.

capabilities: Vec<CapabilityName>

Capabilities the profile requires.

unsupported_forms: Vec<Symbol>

Surface forms the profile does not support.

conformance_tests: Vec<Symbol>

Conformance tests covering the profile.

fidelity_badges: Vec<FidelityBadge>

Fidelity badges declared for the profile.

Implementations

impl LanguageProfile

pub fn new(symbol: Symbol) -> Self

Start a profile named symbol with unspecified reader/lowering/eval-policy and no organs.

pub fn with_reader(self, reader: Symbol) -> Self

Set the reader symbol.

pub fn with_lowering(self, lowering: Symbol) -> Self

Set the lowering symbol.

pub fn with_eval_policy(self, eval_policy: Symbol) -> Self

Set the eval-policy symbol.

pub fn with_organ(self, organ: OrganUse) -> Self

Add an organ use.

pub fn with_numeric_tower(self, numeric_tower: Symbol) -> Self

Set the numeric tower symbol.

pub fn requiring(self, capability: CapabilityName) -> Self

Add a required capability.

pub fn with_unsupported_form(self, form: Symbol) -> Self

Add an unsupported surface form.

pub fn with_conformance_test(self, test: Symbol) -> Self

Add a conformance test.

pub fn with_fidelity_badge(self, badge: FidelityBadge) -> Self

Add a fidelity badge.

pub fn to_constructor_args(&self) -> Vec<Expr>

Encode this profile as constructor arguments for the standard/Profile class.

pub fn from_constructor_args(args: Vec<Expr>) -> Result<Self>

Decode a profile from standard/Profile constructor arguments.

Trait Implementations

impl Clone for LanguageProfile

fn clone(&self) -> LanguageProfile

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LanguageProfile

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for LanguageProfile

impl PartialEq for LanguageProfile

fn eq(&self, other: &LanguageProfile) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LanguageProfile