Module style 

Styled wrappers for live collections used with the sliced! macro.

This module provides wrapper types that store both a collection and its associated non-determinism guard, allowing the nondet to be properly passed through during slicing.

Structs

Atomic

Atomic style wrapper that stores a collection and its non-determinism guard.

Batch

Batch style wrapper that stores a stream-like collection and its non-determinism guard.

Default

Default style wrapper that stores a collection and its non-determinism guard.

Snapshot

Snapshot style wrapper that stores a singleton-like collection and its non-determinism guard.

StateBuilderstageleft_runtime

Builder returned by state, which accepts the user-provided initializer.

StateNullBuilderstageleft_runtime

Builder returned by state_null, which creates the cycle.

Functions

atomic

Wraps a live collection to be treated atomically during slicing.

batch

Wraps a stream-like live collection (such as a Stream, KeyedStream, or a KeyedSingleton with bounded values) to be sliced into non-deterministic batches of asynchronously arriving elements.

snapshot

Wraps a singleton-like live collection (such as a Singleton, Optional, or a KeyedSingleton with asynchronously updated values) to be sliced into non-deterministic snapshots of its continuously changing value.

statestageleft_runtime

Creates a stateful cycle with an initial value for use in sliced!.

state_nullstageleft_runtime

Creates a stateful cycle without an initial value for use in sliced!.