session_types 0.3.1

An implementation of session types 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

extern crate session_types;
use session_types::*;

use std::thread::spawn;

fn client(n: u64, c: Chan<(), Send<u64, Eps>>) {
    c.send(n).close()
}

#[test]
fn main() {
    let n = 42;
    let (c1, c2) = session_channel();

    let res = c2.try_recv();
    assert!(res.is_err());
    let c2 = res.err().unwrap();

    let client_thread = spawn(move || client(n, c1));
    client_thread.join().unwrap();

    let res = c2.try_recv();
    assert!(res.is_ok());
    let (c, n_) = res.ok().unwrap();
    assert_eq!(n, n_);

    c.close();
}