Trait hydro_lang::singleton::ZipResult

pub trait ZipResult<'a, Other> {
    type Out;
    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 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

Object Safety

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 Location = Tick<L>

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

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

type Location = Timestamped<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 Location = Tick<L>

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

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

type Location = Timestamped<L>