Trait Slicable 

pub trait Slicable<'a, L: Location<'a>> {
    type Slice;
    type Backtrace;

    // Required methods
    fn preferred_tick(&self) -> Option<Tick<L>>;
    fn get_location(&self) -> &L;
    fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice;

    // Provided method
    fn create_tick(&self) -> Tick<L>
       where L: NoTick { ... }
}

A trait for live collections which can be sliced into bounded versions at a tick.

Required Associated Types

type Slice

The sliced version of this live collection.

type Backtrace

The type of backtrace associated with this slice.

Required Methods

fn preferred_tick(&self) -> Option<Tick<L>>

Gets the preferred tick to slice at. Used for atomic slicing.

fn get_location(&self) -> &L

Gets the location associated with this live collection.

fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice

Slices this live collection at the given tick.

Non-Determinism

Slicing a live collection may involve non-determinism, such as choosing which messages to include in a batch.

Provided Methods

fn create_tick(&self) -> Tick<L>

where L: NoTick,

Creates a tick that is appropriate for the collection’s location.

Implementations on Foreign Types

impl<'a, L: Location<'a>> Slicable<'a, L> for ()

type Slice = ()

type Backtrace = ()

fn get_location(&self) -> &L

fn preferred_tick(&self) -> Option<Tick<L>>

fn slice(self, _tick: &Tick<L>, _backtrace: Self::Backtrace) -> Self::Slice

impl<'a, L: Location<'a>, S1: Slicable<'a, L>> Slicable<'a, L> for (S1,)

type Slice = (<S1 as Slicable<'a, L>>::Slice,)

type Backtrace = (<S1 as Slicable<'a, L>>::Backtrace,)

fn get_location(&self) -> &L

fn preferred_tick(&self) -> Option<Tick<L>>

fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice

impl<'a, L: Location<'a>, S1: Slicable<'a, L>, S2: Slicable<'a, L>> Slicable<'a, L> for (S1, S2)

type Slice = (<S1 as Slicable<'a, L>>::Slice, <S2 as Slicable<'a, L>>::Slice)

type Backtrace = (<S1 as Slicable<'a, L>>::Backtrace, <S2 as Slicable<'a, L>>::Backtrace)

fn get_location(&self) -> &L

fn preferred_tick(&self) -> Option<Tick<L>>

fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice

impl<'a, L: Location<'a>, S1: Slicable<'a, L>, S2: Slicable<'a, L>, S3: Slicable<'a, L>> Slicable<'a, L> for (S1, S2, S3)

type Slice = (<S1 as Slicable<'a, L>>::Slice, <S2 as Slicable<'a, L>>::Slice, <S3 as Slicable<'a, L>>::Slice)

type Backtrace = (<S1 as Slicable<'a, L>>::Backtrace, <S2 as Slicable<'a, L>>::Backtrace, <S3 as Slicable<'a, L>>::Backtrace)

fn get_location(&self) -> &L

fn preferred_tick(&self) -> Option<Tick<L>>

fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice

impl<'a, L: Location<'a>, S1: Slicable<'a, L>, S2: Slicable<'a, L>, S3: Slicable<'a, L>, S4: Slicable<'a, L>> Slicable<'a, L> for (S1, S2, S3, S4)

type Slice = (<S1 as Slicable<'a, L>>::Slice, <S2 as Slicable<'a, L>>::Slice, <S3 as Slicable<'a, L>>::Slice, <S4 as Slicable<'a, L>>::Slice)

type Backtrace = (<S1 as Slicable<'a, L>>::Backtrace, <S2 as Slicable<'a, L>>::Backtrace, <S3 as Slicable<'a, L>>::Backtrace, <S4 as Slicable<'a, L>>::Backtrace)

fn get_location(&self) -> &L

fn preferred_tick(&self) -> Option<Tick<L>>

fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice

impl<'a, L: Location<'a>, S1: Slicable<'a, L>, S2: Slicable<'a, L>, S3: Slicable<'a, L>, S4: Slicable<'a, L>, S5: Slicable<'a, L>> Slicable<'a, L> for (S1, S2, S3, S4, S5)

type Slice = (<S1 as Slicable<'a, L>>::Slice, <S2 as Slicable<'a, L>>::Slice, <S3 as Slicable<'a, L>>::Slice, <S4 as Slicable<'a, L>>::Slice, <S5 as Slicable<'a, L>>::Slice)

type Backtrace = (<S1 as Slicable<'a, L>>::Backtrace, <S2 as Slicable<'a, L>>::Backtrace, <S3 as Slicable<'a, L>>::Backtrace, <S4 as Slicable<'a, L>>::Backtrace, <S5 as Slicable<'a, L>>::Backtrace)

fn get_location(&self) -> &L

fn preferred_tick(&self) -> Option<Tick<L>>

fn slice(self, tick: &Tick<L>, backtrace: Self::Backtrace) -> Self::Slice

Implementors

impl<'a, K, V, L: Location<'a> + NoTick> Slicable<'a, L> for Atomic<KeyedSingleton<K, V, Atomic<L>, Unbounded>>

type Slice = KeyedSingleton<K, V, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, K, V, L: Location<'a> + NoTick> Slicable<'a, L> for Atomic<KeyedSingleton<K, V, Atomic<L>, BoundedValue>>

type Slice = KeyedSingleton<K, V, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, K, V, L: Location<'a> + NoTick> Slicable<'a, L> for Default<KeyedSingleton<K, V, L, BoundedValue>>

type Slice = KeyedSingleton<K, V, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, K, V, L: Location<'a> + NoTick, O: Ordering, R: Retries> Slicable<'a, L> for Atomic<KeyedStream<K, V, Atomic<L>, Unbounded, O, R>>

type Slice = KeyedStream<K, V, Tick<L>, Bounded, O, R>

type Backtrace = Backtrace

impl<'a, K, V, L: Location<'a>> Slicable<'a, L> for Default<KeyedSingleton<K, V, L, Unbounded>>

type Slice = KeyedSingleton<K, V, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, K, V, L: Location<'a>, O: Ordering, R: Retries> Slicable<'a, L> for Default<KeyedStream<K, V, L, Unbounded, O, R>>

type Slice = KeyedStream<K, V, Tick<L>, Bounded, O, R>

type Backtrace = Backtrace

impl<'a, T, L: Location<'a> + NoTick> Slicable<'a, L> for Atomic<Optional<T, Atomic<L>, Unbounded>>

type Slice = Optional<T, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, T, L: Location<'a> + NoTick> Slicable<'a, L> for Atomic<Singleton<T, Atomic<L>, Unbounded>>

type Slice = Singleton<T, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, T, L: Location<'a> + NoTick, O: Ordering, R: Retries> Slicable<'a, L> for Atomic<Stream<T, Atomic<L>, Unbounded, O, R>>

type Slice = Stream<T, Tick<L>, Bounded, O, R>

type Backtrace = Backtrace

impl<'a, T, L: Location<'a>, B: Boundedness> Slicable<'a, L> for Default<Optional<T, L, B>>

type Slice = Optional<T, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, T, L: Location<'a>, B: Boundedness> Slicable<'a, L> for Default<Singleton<T, L, B>>

type Slice = Singleton<T, Tick<L>, Bounded>

type Backtrace = Backtrace

impl<'a, T, L: Location<'a>, B: Boundedness, O: Ordering, R: Retries> Slicable<'a, L> for Default<Stream<T, L, B, O, R>>

type Slice = Stream<T, Tick<L>, Bounded, O, R>

type Backtrace = Backtrace