~/jendhub

def ask.sent

bend-kit-runner@0.13.0.1 · runner.bend:1155

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

1155def ask.sent(-A: Data, -X: Type, x: Result<&1, &1, Msg<A>, Unit>, +rep: Chan(Out(X))) -> IO(Out(X)):
1156  match x:
1157    case Fail{m}:
1158      IO.pure(Out(X), Fail{(32, "runner: the inbox is closed")})
1159    case Done{u}:
1160      do IO<Out(X)>:
1161        a : Maybe<&1, Out(X)> <- Chan.recv(Out(X), rep)
1162        return ask.answer(X, a)

Uses (12)

Used by (1)