cryptol_client 0.1.1

`cryptol_client` is a collection of utilities for connecting to and interacting with a running `cryptol-remote-api` instance.
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use cryptol_client::CryptolClient;

#[test]
fn test_connect() {
    let cryptol_client = CryptolClient::connect();
    assert!(cryptol_client.is_ok());
}

#[test]
fn test_load_module_success() {
    let mut cryptol_client = match CryptolClient::connect() {
        Ok(c) => c,
        Err(e) => panic!("An error occurred while connecting to cryptol-remote-api: {e}"),
    };

    match cryptol_client.load_module("SuiteB") {
        Ok(_) => (),
        Err(e) => panic!("Loading module failed: {e}"),
    };
}

#[test]
fn test_load_module_failure() {
    let mut cryptol_client = match CryptolClient::connect() {
        Ok(c) => c,
        Err(e) => panic!("An error occurred while connecting to cryptol-remote-api: {e}"),
    };

    assert!(
        cryptol_client.load_module("nosuchmodule").is_err(),
        "nosuchmodule should not exist"
    );
}

#[test]
fn test_call_success() {
    let mut cryptol_client = match CryptolClient::connect() {
        Ok(c) => c,
        Err(e) => panic!("An error occurred while connecting to cryptol-remote-api: {e}"),
    };

    let function = "reverse";
    let arguments = ["[1, 2, 3, 4]"];

    match cryptol_client.call(function, &arguments) {
        Ok(r) => r,
        Err(e) => panic!("An error occured while calling cryptol-remote-api: {e}"),
    };
}

#[test]
fn test_call_failure() {
    let mut cryptol_client = match CryptolClient::connect() {
        Ok(c) => c,
        Err(e) => panic!("An error occurred while connecting to cryptol-remote-api: {e}"),
    };

    let function = "nonsense";
    let arguments = ["[1, 2, 3, 4]"];

    assert!(
        cryptol_client.call(function, &arguments).is_err(),
        "'nonsense' should not be a function in the Cryptol prelude"
    );
}