canrun 0.2.0

A logic programming library inspired by the *Kanren family of language DSLs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use super::{Domain, State};
use std::fmt;

impl<'a, D: Domain<'a>> Default for State<'a, D> {
    fn default() -> Self {
        Self::new()
    }
}

impl<'a, D: Domain<'a> + 'a> fmt::Debug for State<'a, D> {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "State {:?}", self.domain)
    }
}