karpal-proof 0.4.0

Algebraic law witnesses and refinement types for the Industrial Algebra ecosystem
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

#![cfg_attr(not(feature = "std"), no_std)]
#![cfg_attr(all(not(feature = "std"), feature = "alloc"), feature(alloc))]

#[cfg(all(not(feature = "std"), feature = "alloc"))]
extern crate alloc;

pub mod property;
pub mod proven;
pub mod rewrite;

#[cfg(any(feature = "std", feature = "alloc"))]
pub mod refinement;

#[cfg(any(feature = "std", feature = "alloc"))]
pub mod law_check;

pub use property::*;
pub use proven::Proven;
pub use rewrite::{Justifies, Rewrite};

#[cfg(any(feature = "std", feature = "alloc"))]
pub use refinement::{NonEmpty, Positive};

/// Re-export derive macros when the `derive` feature is enabled.
#[cfg(feature = "derive")]
pub use karpal_proof_derive::{
    VerifyCommutative, VerifyGroup, VerifyLattice, VerifyMonoid, VerifyRing, VerifySemigroup,
    VerifySemiring,
};