wit-encoder 0.233.0

A WIT encoder for 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
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
66
67
68

use pretty_assertions::assert_eq;
use wit_encoder::{Include, Package, PackageName, StandaloneFunc, World};

const PACKAGE: &str = indoc::indoc! {"
    package foo:foo;

    world foo {
      import a: func();
    }

    world bar {
      import a: func();
      import b: func();
    }

    world baz {
      import a: func();
      import b: func();
      import c: func();
    }

    world quux {
      include foo with { a as b };
      include bar with { a as b, b as c };
      include baz with { a as b, b as c, c as d };
    }
"};

#[test]
fn concrete_types() {
    let mut package = Package::new(PackageName::new("foo", "foo", None));

    let mut world = World::new("foo");
    world.function_import(StandaloneFunc::new("a", false));
    package.world(world);

    let mut world = World::new("bar");
    world.function_import(StandaloneFunc::new("a", false));
    world.function_import(StandaloneFunc::new("b", false));
    package.world(world);

    let mut world = World::new("baz");
    world.function_import(StandaloneFunc::new("a", false));
    world.function_import(StandaloneFunc::new("b", false));
    world.function_import(StandaloneFunc::new("c", false));
    package.world(world);

    let mut world = World::new("quux");

    let mut include = Include::new("foo");
    include.with("a", "b");
    world.include(include);

    let mut include = Include::new("bar");
    include.with("a", "b");
    include.with("b", "c");
    world.include(include);

    let mut include = Include::new("baz");
    include.with("a", "b");
    include.with("b", "c");
    include.with("c", "d");
    world.include(include);

    package.world(world);

    assert_eq!(package.to_string(), PACKAGE);
}