~/jendhub

def server.lift

ezhttp@0.22.0.0 · src/server.bend:497

import ezhttp@0.22.0.0/src/server.bend as Server
import Base
import ezhttp@0.22.0.0/src/http.bend as Http

497# a pure handler as an IO one
498def server.lift(~handle: Http.Request -> Http.Reply, req: Http.Request)
499  -> IO(Http.Reply):
500  IO.pure(Http.Reply, handle(req))

Uses (4)

Used by (1)