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

extern crate session_types;

use std::thread::spawn;

use session_types::*;

fn srv(c: Chan<(), Recv<u8, Eps>>) {
    let (c, _) = c.recv();
    c.close();
}

fn main() {
    let (c1, c2) = session_channel();
    let t1 = spawn(|| { srv(c2) });

    let c1_ = c1;
    c1_.send(42).close();
    c1.send(42).close();        //~ ERROR

    t1.join().unwrap();
}