~/jendhub

def up.route

bend-kit-http@0.38.2.0 · http.bend:5419

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

5419def up.route(+ms: U32, r: String & Send & Route) -> IO(Result<&1, &1, Err, Up>):
5420  (key, request, route) = r
5421  Send{+method, +target, +authority, +headers, body} = request
5422  do IO<Result<&1, &1, Err, Up>>:
5423    c : Result<&1, &1, Err, Conn> <- route.open(ms, False{}, route)
5424    up.conn(c, ms, String.eq(method, "HEAD"), up.head(method, target, authority, headers))

Uses (17)

Used by (1)