sim-shape 0.1.0-rc.1

Shape algebra, comparison, and match-hook helpers.
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

//! Citizen integration for shape objects: class registration, codec, and
//! construction wiring, plus the per-shape class-symbol accessors.

#[path = "citizen/class.rs"]
mod class;
#[path = "citizen/codec.rs"]
mod codec;
#[path = "citizen/construct.rs"]
mod construct;
#[path = "citizen/inventory.rs"]
mod inventory;

pub(crate) use class::register_shape_citizen_class;
pub(crate) use codec::{
    build_shape_value, decode_expr_kind, decode_extra, decode_hooks, decode_shape_list,
    decode_shape_value, decode_symbol, decode_table_fields, decode_venn_members, encode_extra,
    encode_hooks, encode_shape_expr, encode_shape_list, encode_table_fields, expr_kind_symbol,
    or_strategy_symbol,
};

/// Class symbol for the `Any` shape citizen (`shape/Any`).
pub fn any_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Any")
}

/// Class symbol for the exact-expression shape citizen (`shape/ExactExpr`).
pub fn exact_expr_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "ExactExpr")
}

/// Class symbol for the expression-kind shape citizen (`shape/ExprKind`).
pub fn expr_kind_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "ExprKind")
}

/// Class symbol for the class-membership shape citizen (`shape/Class`).
pub fn class_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Class")
}

/// Class symbol for the list shape citizen (`shape/List`).
pub fn list_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "List")
}

/// Class symbol for the table shape citizen (`shape/Table`).
pub fn table_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Table")
}

/// Class symbol for the disjunction shape citizen (`shape/Or`).
pub fn or_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Or")
}

/// Class symbol for the conjunction shape citizen (`shape/And`).
pub fn and_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "And")
}

/// Class symbol for the negation shape citizen (`shape/Not`).
pub fn not_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Not")
}

/// Class symbol for the repetition shape citizen (`shape/Repeat`).
pub fn repeat_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Repeat")
}

/// Class symbol for the hook-wrapped shape citizen (`shape/Hooked`).
pub fn hooked_shape_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Hooked")
}

/// Class symbol for the Venn-set shape citizen (`shape/Venn`).
pub fn venn_shape_set_class_symbol() -> sim_kernel::Symbol {
    sim_kernel::Symbol::qualified("shape", "Venn")
}