MingaEditor.Agent.UIState.Compaction (Minga v0.1.0)

Pure owner for agent context-compaction threshold and execution state.

Summary

action()

execution()

pct()

t()

threshold()

new()

@type action() :: :none | {:warn, pct()} | :schedule

@type execution() :: :idle | {:deferred, pct()} | :requested

@type pct() :: non_neg_integer()

@type t() :: %MingaEditor.Agent.UIState.Compaction{
  execution: execution(),
  threshold: threshold()
}

@type threshold() :: :fresh | :warned | :triggered

@spec finish(t()) :: t()

@spec new() :: t()

@spec record_context_usage(t(), pct(), atom(), pct(), pct(), boolean()) ::
  {t(), action()}

@spec requested?(t()) :: boolean()

@spec status_changed(t(), atom(), pct(), pct(), boolean()) :: {t(), action()}