src/wirespec.bend source

src/wirespec.bend on the hub · documented module

# ezhttp/src/wirespec: the text the wire effect reads, pure. Kept apart from# wire.bend (the effect) so the proof gate can import it.## Spec: scheme, host, port each on their own line; everything after the third# newline is the request verbatim.import Base# the word the effect reads for a scheme that wants TLSdef wire.scheme(secure: Bool) -> String:  match secure:    case True{}:      "tls"    case False{}:      "tcp"# the spec the effect readsdef wire.spec(secure: Bool, host: String, port: U32, req: String) -> String:  wire.scheme(secure) ++ "\n" ++ host ++ "\n" ++ U32.show(port) ++ "\n" ++ req