Ezmcp.http.serve_with: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/main.bend as Ezmcp Lines 184-199 of ezmcp@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/main.bend&start_line=184&end_line=199 import Base import emerging-ezjson@1.2.0.0/src/value.bend as Value import ezmcp@0.1.0.0/src/rpc.bend as Rpc import ezmcp@0.1.0.0/src/server.bend as Server import ezmcp@0.1.0.0/src/io.bend as Io # serve the endpoint on host:port for `limit` connections, its runner given # `ctx`, each connection on its own fork and at most `max` at once (0: no # limit; 1: one at a time), then stop once every connection is closed def http.serve_with( ~C: Data, ~run: C -> String -> Value.Json -> IO(Rpc.Out), ~srv: Server.Server, ~path: String, ~origins: List<&2, String>, +ctx: C, host: String, port: U32, limit: U32, max: U32 ) -> IO(Unit): Io.http.serve_with(C, run, srv, path, origins, ctx, host, port, limit, max) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/io.bend&name=http.serve_with https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Out https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Server