Struct FInstance 

pub struct FInstance {
    pub tables: HashMap<String, Vec<HashMap<String, Value>>>,
    pub foreign_keys: HashMap<Edge, Vec<(usize, usize)>>,
}

A set-valued functor instance (relational data).

Tables map schema vertex IDs to rows (each row is a map of column names to values). Foreign keys map schema edges to pairs of (source row index, target row index).

Fields

tables: HashMap<String, Vec<HashMap<String, Value>>>

Tables: vertex ID to rows. Each row is a column-name to value map.

foreign_keys: HashMap<Edge, Vec<(usize, usize)>>

Foreign keys: edge to row-index pairs.

Implementations

impl FInstance

pub fn new() -> Self

Create a new empty functor instance.

pub fn with_table( self, vertex_id: impl Into<String>, rows: Vec<HashMap<String, Value>>, ) -> Self

Add a table for the given vertex.

pub fn with_foreign_key(self, edge: Edge, pairs: Vec<(usize, usize)>) -> Self

Add a foreign key for the given edge.

pub fn table_count(&self) -> usize

Returns the number of tables.

pub fn row_count(&self, vertex_id: &str) -> usize

Returns the number of rows in a specific table.

Trait Implementations

impl AcsetOps for FInstance

fn restrict( &self, _src_schema: &Schema, _tgt_schema: &Schema, migration: &CompiledMigration, ) -> Result<Self, RestrictError>

Restrict this instance along a compiled migration.

fn extend( &self, _tgt_schema: &Schema, migration: &CompiledMigration, ) -> Result<Self, RestrictError>

Extend (left Kan extension, Sigma_F) this instance along a migration.

fn element_count(&self) -> usize

Returns the number of top-level elements (nodes, rows, or vertices).

fn shape_name(&self) -> &'static str

Returns the shape name as a static string.

impl Clone for FInstance

fn clone(&self) -> FInstance

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FInstance

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FInstance

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FInstance

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ElementOps for FInstance

fn fiber(&self, vertex: &Name) -> Vec<u32>

Fiber selection: all elements over schema vertex v.

fn pushforward(&self, elements: &[u32], edge_kind: &Name) -> Vec<u32>

Relational pushforward along a schema edge.

fn stalk(&self, element_id: u32) -> Env

Stalk projection: observable data at element x.

fn eval_graph_builtin( &self, op: BuiltinOp, args: &[Literal], context: Option<u32>, ) -> Result<Literal, ExprError>

Evaluate a graph traversal builtin at an element.

fn attributes(&self, element_id: u32) -> HashMap<String, Value>

Attribute map: all observable fields at element x.

fn sort(&self, element_id: u32) -> Option<Name>

Sort of element x: the schema vertex v such that x ∈ F(v).

fn element_value(&self, _element_id: u32) -> Option<FieldPresence>

Leaf value at element x, if present.

impl From<FInstance> for Instance

fn from(f: FInstance) -> Self

Converts to this type from the input type.

impl Serialize for FInstance

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.