~/jendhub

def early.pick

bendonnect-rpc@0.1.0.0 · src/transport/server.bend:104

import bendonnect-rpc@0.1.0.0/src/transport/server.bend as Server
import Base
import bendonnect-rpc@0.1.0.0/src/error.bend as E
import bendonnect-rpc@0.1.0.0/src/protocol.bend as P

104def early.pick(stream: Bool, c: P.Codec, e: E.Error) -> Pre:
105  match stream:
106    case True{}:
107      early_stream(c, e)
108    case False{}:
109      early_json(e)

Uses (6)

Used by (1)