~/jendhub

def server.lift.with

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

import emerging-ezhttp@0.21.0.0/src/server.bend as Server
import Base

438# a pure handler as an IO one
439def server.lift.with(~C: Data, ~handle: C -> Req -> Answer, +ctx: C, req: Req)
440  -> IO(Answer):
441  IO.pure(Answer, handle(ctx)(req))

Uses (4)

Used by (1)