Trait hydro_lang::location::can_send::CanSend

pub trait CanSend<'a, To: Location<'a>>: Location<'a> {
    type In<T>;
    type Out<T>;
    type OutStrongestOrder<InOrder>;

    // Required methods
    fn is_demux() -> bool;
    fn tagged_type() -> Option<Type>;
}

Required Associated Types

type In<T>

type Out<T>

type OutStrongestOrder<InOrder>

Given the ordering guarantees of the input, determines the strongest possible ordering guarantees of the output.

Required Methods

fn is_demux() -> bool

fn tagged_type() -> Option<Type>

Object Safety

This trait is not object safe.

Implementors

impl<'a, C1, C2> CanSend<'a, Cluster<'a, C2>> for Cluster<'a, C1>

type In<T> = (ClusterId<C2>, T)

type Out<T> = (ClusterId<C1>, T)

type OutStrongestOrder<InOrder> = NoOrder

impl<'a, C1, P2> CanSend<'a, Process<'a, P2>> for Cluster<'a, C1>

type In<T> = T

type Out<T> = (ClusterId<C1>, T)

type OutStrongestOrder<InOrder> = NoOrder

impl<'a, P1, C2> CanSend<'a, Cluster<'a, C2>> for Process<'a, P1>

type In<T> = (ClusterId<C2>, T)

type Out<T> = T

type OutStrongestOrder<InOrder> = InOrder

impl<'a, P1, E2> CanSend<'a, ExternalProcess<'a, E2>> for Process<'a, P1>

type In<T> = T

type Out<T> = T

type OutStrongestOrder<InOrder> = InOrder

impl<'a, P1, P2> CanSend<'a, Process<'a, P2>> for Process<'a, P1>

type In<T> = T

type Out<T> = T

type OutStrongestOrder<InOrder> = InOrder