proofframe 0.7.2

Rust-native Arrow contracts, exact checks, fingerprints, and verifiable evidence
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

//! Versioned contract syntax and schema compilation.

mod ast;
mod bounds;
mod compile;
mod dataset;
mod document;
mod row;
mod v2;

pub use ast::{BoundAst, ContractAst, ContractVersion, NaNPolicyAst, RuleAst};
pub use bounds::TypedBound;
pub use compile::{ColumnPlan, CompiledContract, CompiledRules, KernelKind, NaNPolicy};
pub use dataset::{
    BalanceEqualPlan, CompositeUniquePlan, ConditionalUniquePlan, CountPlan, DatasetPlan,
    DominantValuePlan, GapDetectionPlan, MonotonicityPlan, MutuallyExclusivePlan, RatioPlan,
    ReferencePlan, RowCountDeltaPlan, StatisticKind, StatisticPlan, SumBounds, SumPlan,
};
pub use document::ContractDocument;
pub use row::{ComparePlan, OperandPlan, RowPlan, RowPlanKind, ScalarValuePlan};
pub use v2::{
    AssertionAst, BalanceEqualAst, CompareAst, CompareOpAst, CompositeNullPolicyAst,
    CompositeUniqueAst, ConditionalUniqueAst, ContractAstV2, ContractStatus, CountRangeAst,
    DatasetRulesAst, DominantValueAst, ExclusiveModeAst, GapDetectionAst, MonotonicDirectionAst,
    MonotonicNullPolicyAst, MonotonicityAst, MutuallyExclusiveAst, NullPolicyAst, OperandAst,
    ParameterizedTypeAst, PrimitiveTypeAst, RatioRangeAst, ReferenceAst, ReferenceNullPolicyAst,
    RowCountDeltaAst, RowRuleAst, RuleAstV2, StatisticAst, SumAst, TimeUnitAst, TypeAst,
};