Trait ZipResult

pub trait ZipResult<'a, Other> {
    type Out;
    type ElementType;
    type Location;

    // Required methods
    fn other_location(other: &Other) -> Self::Location;
    fn other_ir_node(other: Other) -> HydroNode;
    fn make(location: Self::Location, ir_node: HydroNode) -> Self::Out;
}

Required Associated Types

type Out

type ElementType

type Location

Required Methods

fn other_location(other: &Other) -> Self::Location

fn other_ir_node(other: Other) -> HydroNode

fn make(location: Self::Location, ir_node: HydroNode) -> Self::Out

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, T, U: Clone, L: Location<'a>, B> ZipResult<'a, Optional<U, Tick<L>, B>> for Singleton<T, Tick<L>, B>

type Out = Optional<(T, U), Tick<L>, B>

type ElementType = (T, U)

type Location = Tick<L>

impl<'a, T, U: Clone, L: Location<'a>, B> ZipResult<'a, Singleton<U, Tick<L>, B>> for Singleton<T, Tick<L>, B>

type Out = Singleton<(T, U), Tick<L>, B>

type ElementType = (T, U)

type Location = Tick<L>