icydb-core 0.94.0

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters
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

//! Module: contracts
//! Responsibility: shared db-level semantic contracts used across subsystems.
//! Does not own: predicate runtime/validation semantics (moved to `db::predicate`).
//! Boundary: retains only non-predicate helpers.

mod semantics;
#[cfg(test)]
mod tests;

pub(in crate::db) use semantics::canonical_value_compare;

/// Return the first violated rule error in rule declaration order.
pub(in crate::db) fn first_violated_rule<R, C, E>(rules: &[R], ctx: C) -> Option<E>
where
    C: Copy,
    R: Fn(C) -> Option<E>,
{
    for rule in rules {
        if let Some(err) = rule(ctx) {
            return Some(err);
        }
    }

    None
}