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::*;

fn main() {
    let (tcs, rcs) = session_channel();
    let (tcu, rcu) = session_channel();

    let receivers = vec!(rcs, rcu);

    tcs.send("Hello, World from TCS!".to_string()).close();

    let (ready, mut rest) = hselect(receivers);

    let (to_close, s) = ready.recv();
    println!("Got a response: \"{}\"", s);
    to_close.close();

    tcu.send("Hello, World from TCU!".to_string()).close();

    rest
        .drain(..)
        .for_each(|r| {
            let (to_close, s) = r.recv();
            println!("Also got this: \"{}\"", s);
            to_close.close()
        });
}