Server.server.lift: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/server.bend as Server
Lines 497-500 of emerging-ezhttp@0.21.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&start_line=497&end_line=500

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Request