~/jendhub

def client.took

ezmcp@0.1.0.0 · src/io.bend:406

import ezmcp@0.1.0.0/src/io.bend as Io
import Base
import emerging-ezhttp@0.21.0.0/main.bend as Ez
import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import emerging-ezhttp@0.21.0.0/src/client.bend as EzClient
import ezmcp@0.1.0.0/src/rpc.bend as Rpc
import ezmcp@0.1.0.0/src/client.bend as Client

406# what an ezhttp response to a request says
407def client.took(res: EzClient.Response) -> Rpc.Reply:
408  match res:
409    case EzClient.Err{why}:
410      Rpc.Unread{why}
411    case EzClient.Response{status, +headers, reason, bytes}:
412      Client.took(status, Http.headers.find(headers, "Content-Type"),
413        Ez.body_text(bytes))

Uses (5)

Used by (1)