Crate panproto_inst 

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.

Re-exports

pub use acset::AcsetOps;

pub use contraction::ContractionRecord;

pub use contraction::ContractionTracker;

pub use edit_error::EditError;

pub use element_ops::ElementOps;

pub use element_ops::decode_finstance_id;

pub use element_ops::encode_finstance_id;

pub use error::InstError;

pub use error::ParseError;

pub use error::RestrictError;

pub use error::ValidationError;

pub use fan::Fan;

pub use functor::FInstance;

pub use functor::functor_extend;

pub use functor::functor_restrict;

pub use ginstance::GInstance;

pub use ginstance::graph_extend;

pub use ginstance::graph_restrict;

pub use hom::curry_migration;

pub use hom::eval_hom;

pub use hom::hom_schema;

pub use instance::Instance;

pub use instance_env::eval_with_element_ops;

pub use instance_env::eval_with_instance;

pub use metadata::Node;

pub use metadata::NodeShape;

pub use parse::parse_json;

pub use parse::to_json;

pub use pi::functor_pi;

pub use pi::wtype_pi;

pub use poly::Complement;

pub use poly::DroppedNode;

pub use poly::SectionEnrichment;

pub use poly::fiber_at_anchor;

pub use poly::fiber_at_node;

pub use poly::fiber_decomposition;

pub use poly::fiber_with_predicate;

pub use poly::group_by;

pub use poly::join;

pub use poly::restrict_with_complement;

pub use poly::section;

pub use provenance::Provenance;

pub use provenance::ProvenanceMap;

pub use provenance::SourceField;

pub use provenance::TransformStep;

pub use provenance::compute_provenance;

pub use query::InstanceQuery;

pub use query::QueryMatch;

pub use query::build_node_env;

pub use query::execute as execute_query;

pub use query::execute_any;

pub use query::execute_elements;

pub use query::execute_functor;

pub use query::execute_graph;

pub use reachability::ReachabilityIndex;

pub use table_edit::TableEdit;

pub use tree_edit::TreeEdit;

pub use validate::validate_wtype;

pub use value::FieldPresence;

pub use value::Value;

pub use wtype::CaseBranch;

pub use wtype::CompiledMigration;

pub use wtype::FieldTransform;

pub use wtype::WInstance;

pub use wtype::ancestor_contraction;

pub use wtype::anchor_surviving;

pub use wtype::build_env_from_extra_fields;

pub use wtype::build_env_with_children;

pub use wtype::collect_scalar_child_values;

pub use wtype::expr_literal_to_value;

pub use wtype::reconstruct_fans;

pub use wtype::resolve_edge;

pub use wtype::value_to_expr_literal;

pub use wtype::wtype_extend;

pub use wtype::wtype_restrict;

Modules

acset

Generic attributed C-set trait unifying all instance shapes. Trait for attributed C-set operations shared across all instance shapes.

contraction

Incremental contraction tracker for ancestor contraction. Incremental contraction tracker for ancestor contraction.

edit_error

Edit errors for tree and table edits. Error types for edit operations on instances.

element_ops

Operations on the category of elements ∫F (Grothendieck construction). Operations on the category of elements of an instance presheaf.

error

Error types for instance operations. Error types for instance operations.

fan

Hyperedge fan representation. Hyperedge fan representation.

functor

Set-valued functor instance representation. Set-valued functor instance representation.

ginstance

Graph-shaped instance representation. Graph-shaped instance representation.

hom

Internal hom schema construction and evaluation. Internal hom schema construction.

instance

Unified instance enum (attributed C-set). Unified instance representation (attributed C-set).

instance_env

Instance-aware expression evaluation (graph traversal builtins). Instance-aware expression evaluation.

metadata

Metadata types for instance nodes. Metadata types for W-type instance nodes.

parse

JSON parsing for W-type instances. JSON parsing for W-type instances.

pi

Right Kan extension (Pi_F) for instances. Right Kan extension (Pi_F) for instances.

poly

Polynomial functor operations (fiber, group-by, join, section). Polynomial functor operations on instances.

provenance

W-type instance representation and the wtype_restrict pipeline. Data lineage tracking through transforms.

query

Declarative query engine for instance presheaves. Declarative query engine for instance presheaves.

reachability

Incremental reachability index for W-type instances. Incremental reachability index for W-type instances.

table_edit

Edit algebra for functor (table-shaped) instances. Edit algebra for functor instances (model of ThEditableStructure).

tree_edit

Edit algebra for W-type (tree-shaped) instances. Edit algebra for W-type instances (model of ThEditableStructure).

validate

Validation of W-type instances against schemas. Validation of W-type instances against schemas.

value

Value types and field presence. Value types and field presence for W-type instances.

wtype

W-type instance representation and the wtype_restrict pipeline.