bendonnect-rpc

Releases (1):
  0.1.0.0  0xc44d63498d00973a6a41e91a42b58416  indexed  https://jend.leeeet.dev/files.txt?path=bendonnect-rpc@0.1.0.0

Definitions (710, 1 to 100 shown):
  BendonnectRpc.version (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/main.bend&name=version)
   # The library version, matching its BendHub name.
   def version() -> String:
  B64.strip_pad.pick (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=strip_pad.pick)
   # Drops the leading '=' run of a reversed string (i.e. trailing pad of the original).
   def strip_pad.pick(hit: Bool, h: Char, t: String, rest: Unit -> String) -> String:
  B64.strip_pad.rev (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=strip_pad.rev)
   def strip_pad.rev(s: String) -> String:
  B64.swap2 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=swap2)
   # Maps char a1 to b1 and a2 to b2, leaving other chars alone.
   def swap2(s: String, +a1: U32, +b1: U32, +a2: U32, +b2: U32) -> String:
  B64.encode_std (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=encode_std)
   # Standard alphabet ('+', '/') with '=' padding.
   def encode_std(b: Bytes.Bytes) -> String:
  B64.encode_std_raw (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=encode_std_raw)
   # Standard alphabet, no padding.
   def encode_std_raw(b: Bytes.Bytes) -> String:
  B64.encode_url_raw (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=encode_url_raw)
   # URL-safe alphabet ('-', '_'), no padding.
   def encode_url_raw(b: Bytes.Bytes) -> String:
  B64.has_pad (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=has_pad)
   def has_pad(s: String) -> Bool:
  B64.decode.padded (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=decode.padded)
   def decode.padded(+s: String, +m: U32) -> Maybe<&1, Bytes.Bytes>:
  B64.decode.norm (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=decode.norm)
   def decode.norm(+s: String, +n: U32) -> Maybe<&1, Bytes.Bytes>:
  B64.decode (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=decode)
   # Either alphabet, padded or unpadded. None on any invalid input (bad char,
   # bad padding, impossible length).
   def decode(+s: String) -> Maybe<&1, Bytes.Bytes>:
  Code.Code (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Code)
   type Code is Data:
     Canceled{}
     Unknown{}
     InvalidArgument{}
     DeadlineExceeded{}
     NotFound{}
     AlreadyExists{}
     PermissionDenied{}
     ResourceExhausted{}
     FailedPrecondition{}
     Aborted{}
     …
  Code.to_string (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=to_string)
   # The wire name, as it appears in an Error's "code" property.
   def to_string(c: Code) -> String:
  Code.to_http (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=to_http)
   # The HTTP status a unary error response carries.
   def to_http(c: Code) -> U32:
  Code.all (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=all)
   # All codes, in the order of the spec's table.
   def all() -> List<&2, Code>:
  Code.from_string.pick (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_string.pick)
   def from_string.pick(hit: Bool, c: Code, rest: Unit -> Maybe<&2, Code>) -> Maybe<&2, Code>:
  Code.from_string.go (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_string.go)
   def from_string.go(cs: List<&2, Code>, +s: String) -> Maybe<&2, Code>:
  Code.from_string (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_string)
   # Parses a wire name; None for anything that is not one of the sixteen codes.
   def from_string(+s: String) -> Maybe<&2, Code>:
  Code.Row (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Row)
   # One row of the spec's HTTP-to-code table.
   type Row is Data:
     Row{status: U32, code: Code}
  Code.from_http.pick (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_http.pick)
   def from_http.pick(hit: Bool, c: Code, rest: Unit -> Code) -> Code:
  Code.from_http.go (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_http.go)
   def from_http.go(table: List<&2, Row>, +status: U32) -> Code:
  Code.from_http (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_http)
   # The code a client infers from a non-200 status with no Connect error body.
   def from_http(+status: U32) -> Code:
  Envelope.Envelope (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=Envelope)
   type Envelope is Type:
     Envelope{flags: U32, data: Bytes.Bytes}
  Envelope.flag_compressed (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=flag_compressed)
   def flag_compressed() -> U32:
  Envelope.flag_end (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=flag_end)
   def flag_end() -> U32:
  Envelope.encode.of (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=encode.of)
   # 5-byte header followed by the message.
   def encode.of(+flags: U32, r: Bytes.Bytes & U32) -> Bytes.Bytes:
  Envelope.encode (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=encode)
   def encode(e: Envelope) -> Bytes.Bytes:
  Envelope.encode_list (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=encode_list)
   # Encodes every envelope in parallel, then concatenates.
   def encode_list(es: List<&1, Envelope>) -> List<&1, Bytes.Bytes>:
  Envelope.encode_all (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=encode_all)
   def encode_all(es: List<&1, Envelope>) -> Bytes.Bytes:
  Envelope.Step (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=Step)
   type Step is Type:
     Need{buf: Bytes.Bytes}
     Got{env: Envelope, rest: Bytes.Bytes}
     Bad{reason: String}
  Envelope.decode.too_big (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.too_big)
   def decode.too_big(len: U32, max: U32) -> String:
  Envelope.decode.rest (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.rest)
   def decode.rest(r: Bytes.Bytes & Bytes.Bytes, +flags: U32, data: Bytes.Bytes) -> Step:
  Envelope.decode.body (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.body)
   def decode.body(r: Bytes.Bytes & Bytes.Bytes, +flags: U32, +len: U32, +n: U32) -> Step:
  Envelope.decode.cut (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.cut)
   def decode.cut(buf: Bytes.Bytes, +flags: U32, +len: U32, +n: U32) -> Step:
  Envelope.decode.fit (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.fit)
   def decode.fit(short: Bool, buf: Bytes.Bytes, +flags: U32, +len: U32, +n: U32) -> Step:
  Envelope.decode.size (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.size)
   def decode.size(big: Bool, buf: Bytes.Bytes, +flags: U32, +len: U32, +n: U32, +max: U32) -> Step:
  Envelope.decode.len (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.len)
   def decode.len(r: Bytes.Bytes & Maybe<&2, U32>, +flags: U32, +n: U32, +max: U32) -> Step:
  Envelope.decode.flags (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.flags)
   def decode.flags(r: Bytes.Bytes & Maybe<&2, U32>, +n: U32, +max: U32) -> Step:
  Envelope.decode.hdr (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.hdr)
   def decode.hdr(short: Bool, buf: Bytes.Bytes, +n: U32, +max: U32) -> Step:
  Envelope.decode.start (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode.start)
   # Reads one envelope off the front of buf: Need when more bytes are required, Got with
   # the remaining bytes, Bad when the announced size exceeds max.
   def decode.start(r: Bytes.Bytes & U32, +max: U32) -> Step:
  Envelope.decode (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode)
   def decode(buf: Bytes.Bytes, +max: U32) -> Step:
  Envelope.decode_all.cons (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode_all.cons)
   def decode_all.cons(env: Envelope, r: Result<&2, &1, String, List<&1, Envelope>>) -> Result<&2, &1, String, List<&1, Envelope>>:
  Envelope.decode_all.end (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode_all.end)
   def decode_all.end(empty: Bool) -> Result<&2, &1, String, List<&1, Envelope>>:
  Envelope.decode_all.fin (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode_all.fin)
   def decode_all.fin(r: Bytes.Bytes & U32) -> Result<&2, &1, String, List<&1, Envelope>>:
  Envelope.decode_all.go (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode_all.go)
   # fuel: every envelope takes at least 5 bytes, so (bytes + 1) steps always suffice.
   def decode_all.go(fuel: Nat, s: Step, +max: U32) -> Result<&2, &1, String, List<&1, Envelope>>:
  Envelope.decode_all.start (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode_all.start)
   def decode_all.start(r: Bytes.Bytes & U32, +max: U32) -> Result<&2, &1, String, List<&1, Envelope>>:
  Envelope.decode_all (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=decode_all)
   # Every envelope of a complete body; a trailing partial envelope is a Fail.
   def decode_all(buf: Bytes.Bytes, +max: U32) -> Result<&2, &1, String, List<&1, Envelope>>:
  Error.Detail (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Detail)
   type Detail is Type:
     Detail{type_name: String, value: Bytes.Bytes, debug: Maybe<&1, Json.Val>}
  Error.Error (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Error)
   type Error is Type:
     Error{code: Code.Code, message: String, details: List<&1, Detail>}
  Error.EndStream (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=EndStream)
   type EndStream is Type:
     EndStream{error: Maybe<&1, Error>, metadata: Map<&2, List<&2, String>>}
  Error.new (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=new)
   def new(code: Code.Code, message: String) -> Error:
  Error.str_val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=str_val)
   def str_val(+s: String) -> Json.Val:
  Error.kv (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=kv)
   def kv(+k: String, v: Json.Val) -> Bytes.Bytes & Json.Val:
  Error.debug_part (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=debug_part)
   def debug_part(m: Maybe<&1, Json.Val>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.detail_to_json (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=detail_to_json)
   def detail_to_json(d: Detail) -> Json.Val:
  Error.details_json (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_json)
   def details_json(ds: List<&1, Detail>) -> List<&1, Json.Val>:
  Error.details_part (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_part)
   def details_part(ds: List<&1, Detail>, rest: List<&1, Bytes.Bytes & Json.Val>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.message_part.go (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=message_part.go)
   def message_part.go(empty: Bool, m: String, rest: List<&1, Bytes.Bytes & Json.Val>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.message_part (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=message_part)
   def message_part(+m: String, rest: List<&1, Bytes.Bytes & Json.Val>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.to_json (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=to_json)
   def to_json(e: Error) -> Json.Val:
  Error.encode (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=encode)
   def encode(e: Error) -> Bytes.Bytes:
  Error.Fs (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Fs)
   # Up to three fields picked out of an object by name.
   type Fs is Type:
     Fs{a: Maybe<&1, Json.Val>, b: Maybe<&1, Json.Val>, c: Maybe<&1, Json.Val>}
  Error.fs.empty (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=fs.empty)
   def fs.empty() -> Fs:
  Error.put1 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=put1)
   def put1(v: Json.Val, f: Fs) -> Fs:
  Error.put2 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=put2)
   def put2(v: Json.Val, f: Fs) -> Fs:
  Error.put3 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=put3)
   def put3(v: Json.Val, f: Fs) -> Fs:
  Error.pick.put3 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=pick.put3)
   def pick.put3(i3: Bool, v: Json.Val, f: Fs) -> Fs:
  Error.pick.put2 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=pick.put2)
   def pick.put2(i2: Bool, i3: Bool, v: Json.Val, f: Fs) -> Fs:
  Error.pick.put (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=pick.put)
   def pick.put(i1: Bool, i2: Bool, i3: Bool, v: Json.Val, f: Fs) -> Fs:
  Error.pick.slot (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=pick.slot)
   def pick.slot(+ks: String, +n1: String, +n2: String, +n3: String, v: Json.Val, f: Fs) -> Fs:
  Error.pick.go (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=pick.go)
   def pick.go(kvs: List<&1, Bytes.Bytes & Json.Val>, +n1: String, +n2: String, +n3: String, f: Fs) -> Fs:
  Error.unknown_of (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=unknown_of)
   def unknown_of(m: Maybe<&2, Code.Code>) -> Code.Code:
  Error.code_str (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=code_str)
   def code_str(s: Bytes.Bytes) -> Maybe<&2, Code.Code>:
  Error.code_of.val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=code_of.val)
   def code_of.val(v: Json.Val) -> Maybe<&2, Code.Code>:
  Error.code_of (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=code_of)
   # A present string code (unrecognized names become Unknown); anything else is None.
   def code_of(m: Maybe<&1, Json.Val>) -> Maybe<&2, Code.Code>:
  Error.str_of.val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=str_of.val)
   def str_of.val(v: Json.Val) -> String:
  Error.str_of (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=str_of)
   def str_of(m: Maybe<&1, Json.Val>) -> String:
  Error.opt_str.val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=opt_str.val)
   def opt_str.val(v: Json.Val) -> Maybe<&2, String>:
  Error.opt_str (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=opt_str)
   def opt_str(m: Maybe<&1, Json.Val>) -> Maybe<&2, String>:
  Error.opt_b64 (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=opt_b64)
   def opt_b64(m: Maybe<&2, String>) -> Maybe<&1, Bytes.Bytes>:
  Error.detail_build (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=detail_build)
   def detail_build(ty: Maybe<&2, String>, vb: Maybe<&1, Bytes.Bytes>, debug: Maybe<&1, Json.Val>) -> Maybe<&1, Detail>:
  Error.detail_fields (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=detail_fields)
   def detail_fields(f: Fs) -> Maybe<&1, Detail>:
  Error.detail_of (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=detail_of)
   def detail_of(v: Json.Val) -> Maybe<&1, Detail>:
  Error.details_push (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_push)
   def details_push(m: Maybe<&1, Detail>, rest: List<&1, Detail>) -> List<&1, Detail>:
  Error.details_go (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_go)
   def details_go(xs: List<&1, Json.Val>) -> List<&1, Detail>:
  Error.details_val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_val)
   def details_val(v: Json.Val) -> List<&1, Detail>:
  Error.details_of (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=details_of)
   def details_of(m: Maybe<&1, Json.Val>) -> List<&1, Detail>:
  Error.error_build (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=error_build)
   def error_build(c: Maybe<&2, Code.Code>, msg: String, ds: List<&1, Detail>) -> Maybe<&1, Error>:
  Error.error_fields (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=error_fields)
   def error_fields(f: Fs) -> Maybe<&1, Error>:
  Error.from_json (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=from_json)
   # {}, {"code":null}, a non-string code, or a non-object are invalid (None).
   def from_json(v: Json.Val) -> Maybe<&1, Error>:
  Error.decode.val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=decode.val)
   def decode.val(m: Maybe<&1, Json.Val>) -> Maybe<&1, Error>:
  Error.decode (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=decode)
   def decode(b: Bytes.Bytes) -> Maybe<&1, Error>:
  Error.status_text (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=status_text)
   def status_text(+s: U32) -> String:
  Error.from_http.pick (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=from_http.pick)
   def from_http.pick(m: Maybe<&1, Error>, +status: U32) -> Error:
  Error.from_http (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=from_http)
   # Client side of a non-200 unary response: the Connect error in the body if
   # it parses, else a code inferred from the status with the status text as message.
   def from_http(+status: U32, body: Bytes.Bytes) -> Error:
  Error.strs_val (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=strs_val)
   def strs_val(vs: List<&2, String>) -> List<&1, Json.Val>:
  Error.meta_entries (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=meta_entries)
   def meta_entries(xs: List<&2, Sigma<&2, &2, String, _ => List<&2, String>>>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.meta_part (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=meta_part)
   def meta_part(xs: List<&2, Sigma<&2, &2, String, _ => List<&2, String>>>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.err_part (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=err_part)
   def err_part(e: Maybe<&1, Error>, rest: List<&1, Bytes.Bytes & Json.Val>) -> List<&1, Bytes.Bytes & Json.Val>:
  Error.end_encode (https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=end_encode)
   def end_encode(e: EndStream) -> Bytes.Bytes:
More: https://jend.leeeet.dev/packages/bendonnect-rpc.txt?definitions_offset=100