~/jendhub

def server.lift

emerging-ezhttp@0.21.0.0 · src/server.bend:497

import emerging-ezhttp@0.21.0.0/src/server.bend as Server
import Base
import emerging-ezhttp@0.21.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)