Trait hydro_lang::cycle::CycleComplete

pub trait CycleComplete<'a, T> {
    // Required method
    fn complete(self, ident: Ident, expected_location: LocationId);
}

Required Methods

fn complete(self, ident: Ident, expected_location: LocationId)

Implementors

impl<'a, T, L: Location<'a> + NoTick, B> CycleComplete<'a, ForwardRefMarker> for Optional<T, L, B>

impl<'a, T, L: Location<'a> + NoTick, B> CycleComplete<'a, ForwardRefMarker> for Singleton<T, L, B>

impl<'a, T, L: Location<'a> + NoTick, B, Order> CycleComplete<'a, ForwardRefMarker> for Stream<T, L, B, Order>

impl<'a, T, L: Location<'a>> CycleComplete<'a, ForwardRefMarker> for Optional<T, Tick<L>, Bounded>

impl<'a, T, L: Location<'a>> CycleComplete<'a, ForwardRefMarker> for Singleton<T, Tick<L>, Bounded>

impl<'a, T, L: Location<'a>> CycleComplete<'a, TickCycleMarker> for Optional<T, Tick<L>, Bounded>

impl<'a, T, L: Location<'a>> CycleComplete<'a, TickCycleMarker> for Singleton<T, Tick<L>, Bounded>

impl<'a, T, L: Location<'a>, Order> CycleComplete<'a, TickCycleMarker> for Stream<T, Tick<L>, Bounded, Order>