Struct TailLoop 

pub struct TailLoop {
    pub just_inputs: TypeRow,
    pub just_outputs: TypeRow,
    pub rest: TypeRow,
}

Tail-controlled loop.

Fields

just_inputs: TypeRow

Types that are only input

just_outputs: TypeRow

Types that are only output

rest: TypeRow

Types that are appended to both input and output

Implementations

impl TailLoop

pub const CONTINUE_TAG: usize = 0usize

The tag for a loop body output to indicate the loop should iterate again.

pub const BREAK_TAG: usize = 1usize

The tag for a loop body output to indicate the loop should exit with the supplied values.

Trait Implementations

impl Clone for TailLoop

fn clone(&self) -> TailLoop

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl DataflowOpTrait for TailLoop

const TAG: OpTag = OpTag::TailLoop

Tag identifying the operation.

fn description(&self) -> &'static str

A human-readable description of the operation.

fn signature(&self) -> Cow<'_, Signature>

The signature of the operation.

fn substitute(&self, subst: &Substitution<'_>) -> Self

Apply a type-level substitution to this OpType, i.e. replace type variables with new types.

fn other_input(&self) -> Option<EdgeKind>

The edge kind for the non-dataflow or constant inputs of the operation, not described by the signature.

fn other_output(&self) -> Option<EdgeKind>

The edge kind for the non-dataflow outputs of the operation, not described by the signature.

fn static_input(&self) -> Option<EdgeKind>

The edge kind for a single constant input of the operation, not described by the dataflow signature.

impl DataflowParent for TailLoop

fn inner_signature(&self) -> Cow<'_, Signature>

Signature of the inner dataflow graph.

impl Debug for TailLoop

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TailLoop

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<TailLoop> for OpType

fn from(v: TailLoop) -> OpType

Converts to this type from the input type.

impl PartialEq for TailLoop

fn eq(&self, other: &TailLoop) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TailLoop

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> TryFrom<&'a OpType> for &'a TailLoop

type Error = ()

The type returned in the event of a conversion error.

fn try_from(optype: &'a OpType) -> Result<Self, Self::Error>

Performs the conversion.

impl TryInto<TailLoop> for OpType

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<TailLoop, <Self as TryInto<TailLoop>>::Error>

Performs the conversion.

impl Eq for TailLoop

impl StructuralPartialEq for TailLoop