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,
        thinking_signature: Option<String>,
        pending_tool_calls: Vec<ToolCall>,
    },
    ExecutingTools {
        id: TurnId,
        started: SystemTime,
        calls: Vec<PendingToolCall>,
        outcomes: Vec<Option<ToolOutcome>>,
    },
    Compacting {
        id: TurnId,
        started: SystemTime,
        trigger: CompactionTrigger,
    },
    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).

§thinking_signature: Option<String>

Anthropic-only: carries forward across the turn so we can attach it to the committed assistant message. None until the Anthropic adapter emits a signature event.

§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.

§

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
§

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<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> 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> 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> 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