harn-stdlib 0.10.50

Embedded Harn standard library source catalog
Documentation
// std/agent_state — durable session-scoped state helpers.
//
// Import: import "std/agent_state"
/**
 * agent_state_init.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_init(agent: HarnessAgent, root: string, options: dict? = nil) -> resource {
  return agent.state_init(root, options)
}

/**
 * agent_state_resume.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_resume(
  agent: HarnessAgent,
  root: string,
  session_id: string,
  options: dict? = nil,
) -> resource {
  return agent.state_resume(root, session_id, options)
}

/**
 * agent_state_write.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_write(
  agent: HarnessAgent,
  handle: resource,
  key: string,
  content: string,
) -> nil {
  return agent.state_write(handle, key, content)
}

/**
 * agent_state_read.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_read(agent: HarnessAgent, handle: resource, key: string) -> string? {
  return agent.state_read(handle, key)
}

/**
 * agent_state_list.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_list(agent: HarnessAgent, handle: resource) -> list<string> {
  return agent.state_list(handle)
}

/**
 * agent_state_delete.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_delete(agent: HarnessAgent, handle: resource, key: string) -> nil {
  return agent.state_delete(handle, key)
}

/**
 * agent_state_handoff.
 *
 * @effects: [agent]
 * @errors: []
 */
pub fn agent_state_handoff(agent: HarnessAgent, handle: resource, summary: dict) -> nil {
  return agent.state_handoff(handle, summary)
}

/**
 * agent_state_handoff_key.
 *
 * @effects: []
 * @errors: []
 */
pub fn agent_state_handoff_key() {
  return "__handoff.json"
}