~/bend-docscommunity

src/wirespec.bend checks

raw source on the hub · import emerging-ezhttp@0.8.0.0/src/wirespec.bend as Wirespec

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.

1 import
import Base

Definitions

def wire.scheme source · line 9 · raw

@secure:Bool -> String

the word the effect reads for a scheme that wants TLS

def wire.spec source · line 17 · raw

@secure:Bool -> @host:String -> @port:U32 -> @req:String -> String

the spec the effect reads