Client.one: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/transport/client.bend as Client
Lines 329-343 of bendonnect-rpc@0.1.0.0/src/transport/client.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&start_line=329&end_line=343

import Base
import bendonnect-rpc@0.1.0.0/src/code.bend as Code
import bendonnect-rpc@0.1.0.0/src/error.bend as E

def one(r: Result<&1, &1, E.Error, Response>) -> Result<&1, &1, E.Error, Response>:
  match r:
    case Fail{e}:
      Fail{e}
    case Done{resp}:
      Response{h, t, ms} = resp
      match ms:
        case Nil{}:
          fail(Code.Unknown{}, "client stream: no response message")
        case Con{m, rest}:
          match rest:
            case Nil{}:
              Done{Response{h, t, [m]}}
            case Con{x, y}:
              fail(Code.Unknown{}, "client stream: more than one response message")

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Code
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&name=fail