~/jendhub

def up.route

bend-kit-http@0.38.5.0 · http.bend:5411

import bend-kit-http@0.38.5.0/http.bend as Http
import Base

5411def up.route(+ms: U32, r: String & Send & Route) -> IO(Result<&1, &1, Err, Up>):
5412  (key, request, route) = r
5413  Send{+method, +target, +authority, +headers, body} = request
5414  do IO<Result<&1, &1, Err, Up>>:
5415    c : Result<&1, &1, Err, Conn> <- route.open(ms, False{}, route)
5416    up.conn(c, ms, String.eq(method, "HEAD"), up.head(method, target, authority, headers))

Uses (17)

Used by (1)