panproto-inst 0.67.0

Instance representation for panproto
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

//! # panproto-inst
//!
//! Instance representation for panproto (attributed C-sets).
//!
//! This crate provides three instance shapes, unified under [`Instance`]:
//!
//! - **[`WInstance`]**: Tree-shaped (W-type) instances with nodes,
//!   arcs, and optional hyper-edge fans.
//! - **[`FInstance`]**: Relational (set-valued functor) instances
//!   with tables and foreign keys.
//! - **[`GInstance`]**: Graph-shaped instances with nodes and edges
//!   (most general form, no root, cycles allowed).
//!
//! All three are attributed C-sets over different shape categories.
//! The [`Instance`] enum provides a unified interface.

// Allow concrete HashMap/HashSet in public API signatures per ENGINEERING.md spec.
#![allow(clippy::implicit_hasher)]

/// Generic attributed C-set trait unifying all instance shapes.
pub mod acset;
/// The Sigma/Delta migration adjunction (unit, counit, transposes).
pub mod adjunction;
/// ACSet attribute discipline: derive and validate per-vertex attributes.
pub mod attributes;
/// The complement: data discarded by a forward projection.
pub mod complement;
/// Incremental contraction tracker for ancestor contraction.
pub mod contraction;
/// Edit errors for tree and table edits.
pub mod edit_error;
/// Operations on the category of elements `∫F` (Grothendieck construction).
pub mod element_ops;
/// Error types for instance operations.
pub mod error;
/// Hyperedge fan representation.
pub mod fan;
/// Set-valued functor instance representation.
pub mod functor;
/// Graph-shaped instance representation.
pub mod ginstance;
/// Internal hom schema construction and evaluation.
pub mod hom;
/// Unified instance enum (attributed C-set).
pub mod instance;
/// Instance-aware expression evaluation (graph traversal builtins).
pub mod instance_env;
/// First-class instance homomorphisms (morphisms of instances over a schema).
pub mod instance_hom;
/// Metadata types for instance nodes.
pub mod metadata;
/// JSON parsing for W-type instances.
pub mod parse;
/// Right Kan extension (Pi_F) for instances.
pub mod pi;
/// Polynomial functor operations (fiber, group-by, join, section).
pub mod poly;
/// W-type instance representation and the `wtype_restrict` pipeline.
pub mod provenance;
/// Declarative query engine for instance presheaves.
pub mod query;
/// Incremental reachability index for W-type instances.
pub mod reachability;
/// Edit algebra for functor (table-shaped) instances.
pub mod table_edit;
/// Edit algebra for W-type (tree-shaped) instances.
pub mod tree_edit;
/// Validation of W-type instances against schemas.
pub mod validate;
/// Value types and field presence.
pub mod value;
pub mod wtype;

// Re-exports for convenience.
pub use acset::AcsetOps;
pub use adjunction::{
    AdjunctionError, f_counit, f_delta, f_sigma, f_transpose_left, f_transpose_right, f_unit,
    w_counit, w_delta, w_sigma, w_transpose_left, w_transpose_right, w_unit,
};
pub use attributes::{AttributeDecl, AttributeSchema, AttributeViolation};
pub use complement::Complement;
pub use contraction::{ContractionRecord, ContractionTracker};
pub use edit_error::EditError;
pub use element_ops::{ElementOps, decode_finstance_id, encode_finstance_id};
pub use error::{InstError, ParseError, RestrictError, ValidationError};
pub use fan::Fan;
pub use functor::{FInstance, functor_extend, functor_restrict};
pub use ginstance::{GInstance, graph_extend, graph_restrict};
pub use hom::{curry_migration, eval_hom, hom_schema};
pub use instance::Instance;
pub use instance_env::{eval_with_element_ops, eval_with_instance};
pub use instance_hom::{FInstanceHom, HomError, WInstanceHom};
pub use metadata::{Node, NodeShape};
pub use parse::{parse_json, to_json};
pub use pi::{functor_pi, wtype_pi};
pub use poly::{
    SectionEnrichment, fiber_at_anchor, fiber_at_node, fiber_decomposition, fiber_with_predicate,
    group_by, join, restrict_with_complement, section,
};
pub use provenance::{Provenance, ProvenanceMap, SourceField, TransformStep, compute_provenance};
pub use query::{
    InstanceQuery, QueryMatch, build_node_env, execute as execute_query, execute_any,
    execute_elements, execute_functor, execute_graph,
};
pub use reachability::ReachabilityIndex;
pub use table_edit::TableEdit;
pub use tree_edit::TreeEdit;
pub use validate::{validate_attributes, validate_wtype};
pub use value::{FieldPresence, Value};
pub use wtype::{
    CaseBranch, CompiledMigration, FieldTransform, TermAssignment, TermBranch, TermScope,
    TransformContext, WInstance, ancestor_contraction, anchor_surviving,
    apply_term_assignments_to_row, build_env_from_extra_fields, build_env_with_children,
    collect_child_values, collect_scalar_child_values, expr_literal_to_value,
    extend_env_from_extra_fields, node_to_value, reconstruct_fans, referenced_names, resolve_edge,
    value_to_expr_literal, wtype_extend, wtype_extend_partial, wtype_restrict,
};