Llm.stream.raw: def of bend-kit-llm@0.13.0.1
Import: import bend-kit-llm@0.13.0.1/llm.bend as Llm
Lines 506-513 of bend-kit-llm@0.13.0.1/llm.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-llm@0.13.0.1/llm.bend&start_line=506&end_line=513

import Base
import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin
import bend-kit-retry@0.2.0.0/retry.bend as Retry
import bend-kit-http@0.38.1.1/http.bend as Http
import bend-kit-json@0.7.0.0/json.bend as Json

# Any request body that asks for SSE, as for tools. The open retries as call does, on a budget of n + 1.
# A stream opens on the client's pool. Close it with stream.close to give its connection back.
def stream.raw(c: Client, v: Json.Val) -> IO(Client & Result<&1, &1, Err, Stream>):
  Client{+api, +base, +headers, +ms, +n, h} = c
  do IO<Client & Result<&1, &1, Err, Stream>>:
    y : Hairpin.Client & Retry.Budget <- Hairpin.budget(Hairpin.retry(h, n))
    x : Hairpin.Client & Retry.Budget & Result<&1, &1, Hairpin.Err, Http.Stream> <- open.budget(api, base, headers, Json.encode.bytes(v), y)
    stream.done(api, base, headers, ms, n, x)

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.14.0.0/hairpin.bend&name=Client
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.14.0.0/hairpin.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.14.0.0/hairpin.bend&name=budget
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.14.0.0/hairpin.bend&name=retry
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=encode.bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-llm@0.13.0.1/llm.bend&name=Client
  https://jend.leeeet.dev/definition.txt?path=bend-kit-llm@0.13.0.1/llm.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-kit-llm@0.13.0.1/llm.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=bend-kit-llm@0.13.0.1/llm.bend&name=open.budget
  https://jend.leeeet.dev/definition.txt?path=bend-kit-llm@0.13.0.1/llm.bend&name=stream.done
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Budget