type Web

ezmcp@0.1.0.0 · src/web.bend:13

import ezmcp@0.1.0.0/src/web.bend as Web
import Base
import emerging-ezjson@1.2.0.0/src/value.bend as Value
import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import ezmcp@0.1.0.0/src/server.bend as Server

13# what the transport does with one HTTP request: reply now, run a tool
14# first, or run a batch's acts first; `rev` is the revision the request is
15# read by
16type Web is Data:
17  Now{status: U32, headers: List<&2, Http.Header>, body: String}
18  Later{rev: String, id: Value.Json, name: String, args: Value.Json}
19  Many{rev: String, acts: List<&2, Server.Act>}

Uses (6)

Used by (15)