sim-lib-standard-core 0.1.0

SIM workspace package for sim lib standard core.
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

#![cfg_attr(not(feature = "native-export"), forbid(unsafe_code))]
#![cfg_attr(feature = "native-export", deny(unsafe_code))]
#![deny(missing_docs)]
//! Standard distribution core for the SIM runtime.
//!
//! The kernel defines the capability, claim, codec, and `ExportRecord`
//! contracts; this crate supplies the standard-distribution behavior:
//! capabilities, claims, diff, fidelity, the conformance harness, install,
//! language-profile support, the lisp codec surface, polyglot/profile support,
//! and read/construct.

pub mod cap;
pub mod claims;
pub mod diff;
pub mod fidelity;
pub mod harness;
pub mod install;
pub mod lang_profile;
pub mod lisp;
pub mod matrix;
mod matrix_claims;
#[cfg(feature = "native-export")]
mod native;
pub mod polyglot;
pub mod profile;
pub mod read_construct;
pub mod registry;

pub use cap::{standard_diff_capability, standard_install_capability, standard_test_capability};
pub use claims::{
    publish_badge_claims, publish_badge_claims_for_lib, publish_profile_claims,
    publish_profile_claims_for_lib, standard_capability_predicate, standard_eval_policy_predicate,
    standard_lowering_predicate, standard_numeric_predicate, standard_reader_predicate,
    standard_unsupported_predicate,
};
pub use diff::{
    ProfileDiff, ProfileDiffStatus, ProfileDifference, profile_diff_symbol, standard_diff_op_key,
    standard_diff_stub,
};
pub use fidelity::{FidelityBadge, fidelity_badge_class_symbol};
pub use harness::{
    ConformanceHarness, ConformanceOutcome, ConformanceStatus, ConformanceTestCase,
    ConformanceTestReport, OrganTestReport, StandardTestReport,
    standard_reported_fidelity_level_predicate, standard_reported_fidelity_predicate,
    standard_test_case_predicate, standard_test_op_key, standard_test_organ_predicate,
    standard_test_profile_predicate, standard_test_result_predicate, standard_test_run_kind,
    standard_test_status_predicate, standard_test_stub,
};
pub use install::{StandardInstallReport, install_profile_stub, standard_install_op_key};
pub use lang_profile::{
    FidelityBadgeSpec, ProfileOrganPublisher, fidelity_badge, install_language_profile,
    language_profile_lib_symbol,
};
pub use lisp::{lisp_stub_symbols, standard_fidelity_symbol, standard_profile_symbol};
pub use matrix::{
    ConformanceMatrix, ExprRoundTripCase, ExprRoundTripObservation, LanguageRow,
    LanguageRowBuilder, MatrixCellResult, MatrixRunReport, MatrixRunner, SourceConformanceCase,
    SourceExpectation, SourceObservation, compare_source_observation,
};
pub use polyglot::{
    ProfileFunction, ProfileFunctionBinding, SharedOrganRuntime, profile_function_value,
};
pub use profile::{
    LanguageProfile, OrganUse, language_profile_class_symbol, sim_expression_profile,
    sim_expression_profile_symbol, standard_binding_organ_symbol, standard_control_organ_symbol,
    standard_pattern_organ_symbol, standard_sequence_organ_symbol,
};
pub use read_construct::{
    FidelityBadgeValue, LanguageProfileValue, install_standard_core_classes,
    standard_core_classes_lib_symbol,
};
pub use registry::ProfileRegistry;

#[cfg(test)]
mod harness_tests;
#[cfg(test)]
mod matrix_tests;
#[cfg(test)]
mod tests;