proofframe 0.7.0

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

//! 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::{CompositeUniquePlan, CountPlan, DatasetPlan, RatioPlan, ReferencePlan};
pub use document::ContractDocument;
pub use row::{ComparePlan, OperandPlan, RowPlan, RowPlanKind, ScalarValuePlan};
pub use v2::{
    AssertionAst, CompareAst, CompareOpAst, CompositeNullPolicyAst, CompositeUniqueAst,
    ContractAstV2, ContractStatus, CountRangeAst, DatasetRulesAst, NullPolicyAst, OperandAst,
    ParameterizedTypeAst, PrimitiveTypeAst, RatioRangeAst, ReferenceAst, ReferenceNullPolicyAst,
    RowRuleAst, RuleAstV2, TimeUnitAst, TypeAst,
};