~/jendhub

def timed.fin

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

import bendonnect-rpc@0.1.0.0/src/transport/server.bend as Server
import Base
import bendonnect-rpc@0.1.0.0/src/code.bend as Code

238def timed.fin(m: Maybe<&1, Reply>) -> Reply:
239  match m:
240    case None{}:
241      fail(Code.DeadlineExceeded{}, "deadline exceeded")
242    case Some{r}:
243      r

Uses (4)

Used by (1)