mini-kanren 0.4.0

miniKANREN 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

use crate::core::goal::Goal;
use crate::core::value::Value;
use crate::goals::StatSubs;

/// Assert that a goal fails
pub fn fails(goal: impl Goal<StatSubs>) {
    let result = run!(1, q, goal);
    if !result.is_empty() {
        panic!("Expected goal to fail, but it succeeded with {:?}", result);
    }
}

/// Assert that a goal succeeds at least once
pub fn succeeds(goal: impl Goal<StatSubs>) {
    let result = run!(1, q, goal);
    if result.is_empty() {
        panic!("Goal did not succeed.")
    }
}

pub fn has_unique_solution(mut solutions: impl Iterator<Item = Value>, expected: Value) {
    assert_eq!(solutions.next(), Some(expected));
    assert_eq!(solutions.next(), None);
}