Is there an easier way to define a chan-direction-flipped struct?

[haedaal]

Hi there — first of all, thanks a lot for inventing this inspiring language and all its great features!
I’ve been having fun writing some code in XLS :) and I ran into a small question.

Maybe I’ve missed something, but it seems like I currently need to write code like this:

pub proc top {
    ...

    config(...) {
        let (a_s, a_r) = chan<u32>("a");
        let (b_s, b_r) = chan<u32>("b");
        let (c_s, c_r) = chan<bool>("c");
        let (d_s, d_r) = chan<u32>("d");
        let (e_s, e_r) = chan<u32>("e");

        spawn FooSender { a: a_s, b: b_r, c: c_r, d: d_s, e: e_r };
        spawn FooReceiver { a: a_r, b: b_s, c: c_s, d: d_r, e: e_s };

        ...
    }
}

What I’d like is something closer to Chisel’s IO, where the direction flipping is handled automatically. For example:

pub struct FooInterface {
    a: chan<u32> out,
    b: chan<u32> in,
    c: chan<bool> in,
    d: chan<u32> out,
    e: chan<u32> in,
}

pub proc top {
    ...

    config(...) {
        let (foo_send, foo_recv) = IO(FooInterface);

        spawn FooSender(foo_send);
        spawn FooReceiver(foo_recv);
    }
}

Is there a way to write this kind of directional struct/interface in XLS today, or something planned along these lines?