Trait CycleComplete

pub trait CycleComplete<'a, Marker>
where
    Marker: CycleMarker,
{
    // 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> CycleComplete<'a, ForwardRefMarker> for Optional<T, Tick<L>, Bounded>

where L: Location<'a>,

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

where L: Location<'a>,

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

where L: Location<'a>,

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

where L: Location<'a>,

impl<'a, T, L, B> CycleComplete<'a, ForwardRefMarker> for Optional<T, L, B>

where L: Location<'a> + NoTick,

impl<'a, T, L, B> CycleComplete<'a, ForwardRefMarker> for Singleton<T, L, B>

where L: Location<'a> + NoTick,

impl<'a, T, L, B, O, R> CycleComplete<'a, ForwardRefMarker> for Stream<T, L, B, O, R>

where L: Location<'a> + NoTick,

impl<'a, T, L, O, R> CycleComplete<'a, TickCycleMarker> for Stream<T, Tick<L>, Bounded, O, R>

where L: Location<'a>,