session_types 0.2.0

An implementation of session types in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

extern crate session_types;

use session_types::*;
use std::thread::spawn;

fn cli(_: Chan<(), Recv<u8, Eps>>) {
}

fn main() {
    let (c1, c2) = session_channel();

    spawn(|| cli(c1));

    c2.send(42);
}