sim-lib-pattern 0.1.0

SIM workspace package for sim lib pattern.
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

#![forbid(unsafe_code)]
#![deny(missing_docs)]
//! Pattern behavior for the SIM runtime over the kernel `Shape` protocol.
//!
//! The kernel defines the `Shape` match/binding protocol; this crate supplies
//! the concrete pattern organ (algebraic data types, destructuring, match arms,
//! and exhaustiveness checking) as pattern surfaces over that protocol.

mod adt;
mod claims;
mod matching;
mod shapes;

pub use adt::{
    AlgebraicDataType, PatternField, TaggedValue, VariantConstructor, VariantDeclaration,
    tagged_value,
};
pub use claims::{
    pattern_adt_op_key, pattern_destructure_op_key, pattern_exhaustive_op_key,
    pattern_match_op_key, pattern_op_keys, pattern_organ_symbol, pattern_tag_op_key,
    publish_pattern_organ_claims, publish_pattern_organ_claims_for_lib,
};
pub use matching::{
    MatchArm, PatternMatch, destructure_expr, destructure_value, exhaustiveness_diagnostics,
    match_value,
};
pub use shapes::{AdtShape, VariantShape};

#[cfg(test)]
mod tests;