Serve.Serve.route: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/serve.bend as Serve
Lines 167-177 of bend-kube-runtime@0.2.0.0/src/serve.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&start_line=167&end_line=177

import Base
import bend-kube-runtime@0.2.0.0/src/runtime.bend as R

# The answer to a request.
def Serve.route(path: String, +status: Chan(R.SMsg)) -> IO(String):
  match path:
    case "/healthz":
      IO.pure(String, Serve.reply(200, "text/plain", "ok\n"))
    case "/readyz":
      IO.bind(List<&2, R.Snap>, String, Serve.probe(status), m => IO.pure(String, Serve.ready(m)))
    case "/metrics":
      IO.bind(List<&2, R.Snap>, String, Serve.probe(status), m => IO.pure(String, Serve.metrics(m)))
    case _:
      IO.pure(String, Serve.reply(404, "text/plain", "not found\n"))

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/runtime.bend&name=SMsg
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/runtime.bend&name=Snap
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&name=Serve.metrics
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&name=Serve.probe
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&name=Serve.ready
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&name=Serve.reply