Http.server.stats: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 6359-6365 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=6359&end_line=6365

import Base
import bend-kit-http@0.38.2.0/admission.bend as Admission

# None means accounting has closed after the listener and its retained operations.
# This is not a drain result or a per-response write outcome.
def server.stats(observer: ServerStats) -> IO(Maybe<&2, ServerCounts>):
  ServerStats{inbox} = observer
  do IO<Maybe<&2, ServerCounts>>:
    counts : Maybe<&2, Admission.Counts> <- Admission.snapshot(inbox)
    return server.counts(counts)

Uses (9):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=Counts
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=snapshot
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=ServerCounts
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=ServerStats
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=server.counts