pub enum RelayEffect<T> {
Connect {
key: SessionKey,
target: T,
kind: TransportKind,
},
Write {
key: SessionKey,
bytes: Bytes,
},
Shutdown {
key: SessionKey,
},
Close {
key: SessionKey,
},
SendClose {
to: Did,
session: SessionId,
from_opener: bool,
},
OpenAccepted {
token: u64,
key: SessionKey,
service: String,
},
RejectAccepted {
token: u64,
},
}Expand description
The relay’s own effect algebra (interpreted by NativeRelay / WtRelay).
Variants§
Connect
Open a local backend session to target and relay it (peer opened a session).
Fields
key: SessionKeyOwner-scoped session key.
target: TLocal target to dial.
kind: TransportKindStream (TCP) or datagram (UDP).
Write
Write peer bytes to a session’s local stream.
Shutdown
Half-close a session’s local write side (peer FIN).
Fields
key: SessionKeyTarget session.
Close
Close a session (full teardown).
Fields
key: SessionKeyTarget session.
SendClose
Reply a Frame::Close to a peer that opened an unknown service. The reply goes out under
the interpreter’s own namespace (its Scope), so the effect carries no namespace of
its own.
Fields
OpenAccepted
Bind a pending accepted connection/flow (engine-local token) to the session key
the pure step just minted, then open it to the peer and start relaying. The reply
to RelayCommand::Accepted — this is how a step-minted id reaches the engine.
Fields
key: SessionKeyThe session key minted by the pure step.
RejectAccepted
Drop an accepted local resource when the pure session-id space is exhausted.
Trait Implementations§
Source§impl<T: Clone> Clone for RelayEffect<T>
impl<T: Clone> Clone for RelayEffect<T>
Source§fn clone(&self) -> RelayEffect<T>
fn clone(&self) -> RelayEffect<T>
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl<T: Debug> Debug for RelayEffect<T>
impl<T: Debug> Debug for RelayEffect<T>
impl<T: Eq> Eq for RelayEffect<T>
Source§impl<T: PartialEq> PartialEq for RelayEffect<T>
impl<T: PartialEq> PartialEq for RelayEffect<T>
impl<T: PartialEq> StructuralPartialEq for RelayEffect<T>
Auto Trait Implementations§
impl<T> !Freeze for RelayEffect<T>
impl<T> RefUnwindSafe for RelayEffect<T>where
T: RefUnwindSafe,
impl<T> Send for RelayEffect<T>where
T: Send,
impl<T> Sync for RelayEffect<T>where
T: Sync,
impl<T> Unpin for RelayEffect<T>where
T: Unpin,
impl<T> UnsafeUnpin for RelayEffect<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for RelayEffect<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.impl<T> ErasedDestructor for Twhere
T: 'static,
impl<A, B, T> HttpServerConnExec<A, B> for Twhere
B: Body,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
impl<T> MaybeSend for T
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
out indicating that a T is niched.