gdp_rs 0.1.1

A library for implementing Ghosts-of-departed-proofs pattern in rust
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

use std::convert::Infallible;

use crate::{
    predicate::{Predicate, PurePredicate, SyncEvaluablePredicate, TruismPredicate},
    Proven,
};

// Implementation of `Predicate` for `()`. This predicate always applies for any subject.
impl<S> Predicate<S> for () {
    fn label() -> std::borrow::Cow<'static, str> {
        "()".into()
    }
}

impl<S> SyncEvaluablePredicate<S> for () {
    type EvalError = Infallible;

    #[inline]
    fn evaluate_for(_sub: &S) -> Result<(), Self::EvalError> {
        Ok(())
    }
}

impl<S> PurePredicate<S> for () {}
impl<S> TruismPredicate<S> for () {}

impl<S> Proven<S, ()> {
    /// Get a `Proven` over given subject and void predicate.
    #[inline]
    pub fn void_proven(sub: S) -> Self {
        Self::new_truism(sub)
    }
}