Struct CompiledContract 

pub struct CompiledContract { /* private fields */ }

Contract execution IR compiled in Arrow schema order.

Implementations

impl CompiledContract

pub fn compile( contract: &ContractAst, schema: &Schema, ) -> Result<Self, ProofFrameError>

Resolve and type-check a syntax tree before any record batch is scanned.

pub fn compile_document( document: &ContractDocument, schema: &Schema, ) -> Result<Self, ProofFrameError>

Compile either frozen V1 syntax or the relational V2 contract language.

pub fn columns(&self) -> &[ColumnPlan]

pub const fn schema(&self) -> &Schema

pub fn row_plans(&self) -> &[RowPlan]

pub const fn dataset_plan(&self) -> &DatasetPlan

pub const fn max_findings(&self) -> usize

pub fn schema_digest(&self) -> Result<String, ProofFrameError>

Domain-separated digest of the Arrow schema used during compilation.

pub fn compiled_plan_digest(&self) -> Result<String, ProofFrameError>

Domain-separated digest of the schema-resolved execution plan.

Trait Implementations

impl Clone for CompiledContract

fn clone(&self) -> CompiledContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledContract

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

Formats the value using the given formatter.