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
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

//! Basic domains for simple use cases.
//!
//! | Domain     | Types |
//! | ------     | ----- |
//! | `I32`      | `i32` |
//! | `TupleI32` | `i32`, `(Val<i32>, Val<i32>)` |

// Figure out how to get the macro to generate docs with these types listed out.

use crate::lmap::LMap;
use crate::lvec::LVec;
use crate::value::Val;

canrun_codegen::canrun_internal_domain! {
    pub I32 { i32 }
}
canrun_codegen::canrun_internal_domain! {
    pub TupleI32 {
        i32,
        (Val<i32>, Val<i32>),
    }
}
canrun_codegen::canrun_internal_domain! {
    pub Collections {
        i32,
        LMap<i32, i32>,
        LVec<i32>
    }
}