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
29
30
31
32
33
34
35
36
37
38
39

extern crate session_types;

use session_types::*;

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

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

fn drop_client(_c: Chan<(), Send<(), Eps>>) {}

fn drop_server(_c: Chan<(), Recv<(), Eps>>) {}

#[test]
fn server_client_works() {
    connect(server, client);
}

#[test]
#[should_panic]
fn client_incomplete_panics() {
    connect(server, drop_client);
}

#[test]
#[should_panic]
fn server_incomplete_panics() {
    connect(drop_server, client);
}

#[test]
#[should_panic]
fn server_client_incomplete_panics() {
    connect(drop_server, drop_client);
}