def reply_io

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

import bendonnect-rpc@0.1.0.0/src/transport/rpc.bend as Rpc
import Base
import bendonnect-rpc@0.1.0.0/src/transport/server.bend as Srv

30def reply_io(r: Srv.Reply) -> IO(Srv.Reply):
31  IO.pure(Srv.Reply, r)

Uses (3)

Used by (10)