anodized-logic 0.5.1

Helps Anodized embed non-trivial elements of logic into Rust code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#[allow(private_bounds, unused_variables)]
pub fn forall<P: Predicate<T>, T>(predicate: P) -> bool {
    unimplemented!("Runtime checks are not supported for quantifiers.")
}

#[allow(private_bounds, unused_variables)]
pub fn exists<P: Predicate<T>, T>(predicate: P) -> bool {
    unimplemented!("Runtime checks are not supported for quantifiers.")
}

trait Predicate<T> {}

impl<P, T1> Predicate<(T1,)> for P where P: Fn(T1) -> bool {}
impl<P, T1, T2> Predicate<(T1, T2)> for P where P: Fn(T1, T2) -> bool {}
impl<P, T1, T2, T3> Predicate<(T1, T2, T3)> for P where P: Fn(T1, T2, T3) -> bool {}
impl<P, T1, T2, T3, T4> Predicate<(T1, T2, T3, T4)> for P where P: Fn(T1, T2, T3, T4) -> bool {}
impl<P, T1, T2, T3, T4, T5> Predicate<(T1, T2, T3, T4, T5)> for P where
    P: Fn(T1, T2, T3, T4, T5) -> bool
{
}