def next

bend-kit-llm@0.13.0.1 · llm.bend:616

import bend-kit-llm@0.13.0.1/llm.bend as Llm
import Base
import bend-kit-llm@0.13.0.1/sse.bend as Sse

616# The next piece of reply text, or None at the end.
617def next(s: Stream) -> IO(Stream & Result<&1, &1, Err, Maybe<&2, String>>):
618  do IO<Stream & Result<&1, &1, Err, Maybe<&2, String>>>:
619    y : Stream & Result<&1, &1, Err, Maybe<&1, Sse.Message>> <- event(s)
620    next.loop(Nat.mul(65536n, 256n), next.of(y))

Uses (13)

Used by (0)

No other definition uses this definition.