essential-check 0.11.0

Core logic related to validating Essential state transitions.
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
29
30
31
32
33
34
35
36

//! Core logic for validating [`Predicate`][crate::types::predicate::Predicate]s,
//! [`SolutionSet`][crate::types::solution::SolutionSet]s and
//! [`Solution`][crate::types::solution::Solution]s against their associated predicates.
//!
//! Typical usage is to first validate predicates and solutions independently in
//! full prior to validating against one another with `solution::check_set_predicates`.
//!
//! ## Predicate Validation
//!
//! - [`predicate::check_signed_contract`] validates a signed contract.
//! - [`predicate::check_contract`] validates a contract.
//! - [`predicate::check`] validate an individual predicate.
//!
//! ## Solution Validation
//!
//! - [`solution::check_set`] validates a solution set.
//! - [`solution::check_solutions`] validates a solution set's `solutions` slice.
//! - [`solution::check_set_state_mutations`] validates a solution's state mutation slice.
//!
//! ## Solution + Predicate Validation
//!
//! - [`solution::check_set_predicates`] validates a set of solutions against their associated predicates.
//! - [`solution::check_predicate`] validates a single solution against its associated predicate.

#![deny(missing_docs)]
#![deny(unsafe_code)]

#[doc(inline)]
pub use essential_sign as sign;
#[doc(inline)]
pub use essential_types as types;
#[doc(inline)]
pub use essential_vm as vm;

pub mod predicate;
pub mod solution;