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

use std::any::Any;

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

/// Sequence two sessions `P` and `Q` together using [`seq`](CanonicalChan::seq).
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Default)]
pub struct Seq<P, Q = Done>(pub P, pub Q);

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

impl<P: Session, Q: Session> Session for Seq<P, Q> {
    type Dual = Seq<P::Dual, Q::Dual>;
}

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

impl<E, P, Q> Actionable<E> for Seq<P, Q>
where
    P: Scoped<E::Depth>,
    Q: Scoped<E::Depth>,
    E: Environment,
{
    type Action = Seq<P, Q>;
    type Env = E;
}