dialectic 0.4.1

Transport-polymorphic, asynchronous session types 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

use std::any::Any;

use super::sealed::IsSession;
use super::*;

/// Call the session `P` as a subroutine using [`call`](crate::Chan::call), then do the session `Q`.
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Default)]
pub struct Call<P, Q>(pub P, pub Q);

impl<P: Any, Q: Any> IsSession for Call<P, Q> {}

impl<P: HasDual, Q: HasDual> HasDual for Call<P, Q> {
    type DualSession = Call<P::DualSession, Q::DualSession>;
}

impl<P: 'static, Q: 'static> Actionable for Call<P, Q> {
    type NextAction = Self;
}

impl<N: Unary, P: Scoped<N>, Q: Scoped<N>> Scoped<N> for Call<P, Q> {}

impl<N: Unary, P: Subst<R, N>, Q: Subst<R, N>, R> Subst<R, N> for Call<P, Q> {
    type Substituted = Call<P::Substituted, Q::Substituted>;
}

impl<N: Unary, P: 'static, Q: Then<R, N>, R> Then<R, N> for Call<P, Q> {
    type Combined = Call<P, Q::Combined>;
}

impl<N: Unary, Level: Unary, P: Lift<N, Level>, Q: Lift<N, Level>> Lift<N, Level> for Call<P, Q> {
    type Lifted = Call<P::Lifted, Q::Lifted>;
}