Toolnexus.Request (toolnexus v0.9.4)

Copy Markdown View Source

A §10 suspension request. JSON keys are byte-identical across ports: {id, kind, prompt, url?, data?, expiresAt?}.

Summary

Types

t()

Functions

from_map(m)

Decode from a JSON-shaped map (string keys, expiresAt spelling).

Types

t()

@type t() :: %Toolnexus.Request{
  data: map() | nil,
  expires_at: String.t() | nil,
  id: String.t(),
  kind: String.t(),
  prompt: String.t(),
  url: String.t() | nil
}

Functions

from_map(m)

@spec from_map(map()) :: t()

Decode from a JSON-shaped map (string keys, expiresAt spelling).