Skip to main content

TurnState

Enum TurnState 

Source
pub enum TurnState {
    Idle,
    Generating {
        id: TurnId,
        started: SystemTime,
        partial_text: String,
        partial_reasoning: String,
        tokens: usize,
        phase: GenPhase,
        provider_continuation: Option<ProviderContinuation>,
        pending_tool_calls: Vec<ToolCall>,
        continuation: bool,
    },
    ExecutingTools {
        id: TurnId,
        started: SystemTime,
        calls: Vec<PendingToolCall>,
        outcomes: Vec<Option<ToolOutcome>>,
    },
    Compacting {
        id: TurnId,
        started: SystemTime,
        trigger: CompactionTrigger,
        resume_continuation: bool,
    },
    Cancelling {
        id: TurnId,
        since: SystemTime,
    },
}
Expand description

The turn state machine. Each variant carries its own TurnId so the reducer can cheaply check “is this effect result for the current turn?” without threading the ID through every match arm.

The ExecutingTools::outcomes: Vec<Option<ToolOutcome>> field is the architectural payoff: every slot starts None, flips to Some(outcome) as each tool finishes, and the transition to the follow-up Generating state requires outcomes to be fully populated. Statically impossible to “lose” a tool result.

Variants§

§

Idle

§

Generating

Fields

§started: SystemTime
§partial_text: String
§partial_reasoning: String
§tokens: usize

Running token estimate — updated by StreamText events.

§phase: GenPhase

Sub-phase for richer status display (see GenPhase).

§provider_continuation: Option<ProviderContinuation>

Opaque provider state carried until the assistant message commits.

§pending_tool_calls: Vec<ToolCall>

Tool calls the model has streamed so far this turn. StreamToolCall messages push here; StreamDone drains the vec, allocates PendingToolCall entries, and transitions to ExecutingTools. When the vec is empty at stream end, the turn returns to Idle.

§continuation: bool

True when this turn resumes a reply cut by the per-response output cap (auto-continue). The commit stamps the resulting message ChatMessageKind::Continuation so the transcript can stitch it into the previous bubble. Survives an intervening empty-retry or truncation-recovery compaction so a chain never loses the marker mid-way.

§

ExecutingTools

Fields

§started: SystemTime

When tool execution started, so the status line can show elapsed time (a long-running command — npm run dev, a slow build — would otherwise look frozen at 0s).

§

Compacting

Summarizing history as a step of its own: a manual /compact (trigger: Manual, ends the turn afterwards) or a truncation recovery (trigger: TruncationRecovery, resumes the run afterwards). Pre-turn auto compaction instead runs while Generating because it is preflight for the same user turn. trigger is what the finished/failed handlers key off.

Fields

§started: SystemTime
§resume_continuation: bool

True when the turn that led into this compaction was itself a continuation (see Generating::continuation): a TruncationRecovery resume must re-enter Generating with the flag intact or a continuation chain interrupted by a genuine context-full compaction would commit its remaining text unmarked.

§

Cancelling

CancelTurn was dispatched. The reducer has already emitted a Cmd::CancelScope — now we wait for the final Cancelled / StreamDone that the effect runner sends back when the scope’s JoinSet drains. Only then do we transition to Idle.

Stuck in Cancelling too long = effect runner has a bug. UI surfaces a “cleanup taking a while…” hint after 2s.

Fields

Implementations§

Source§

impl TurnState

Source

pub fn id(&self) -> Option<TurnId>

Source

pub fn accepts(&self, event_turn: TurnId) -> bool

True when a Msg tagged with the given TurnId should be accepted. Events from prior turns return false — the reducer’s first line on every effect-result arm.

Trait Implementations§

Source§

impl Clone for TurnState

Source§

fn clone(&self) -> TurnState

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for TurnState

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more