Http.serve.stream.abort: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 6636-6644 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=6636&end_line=6644

import Base

# The application consumes its real affine state on unsuccessful upload paths.
# An abort that does not return remains admitted work, not a fabricated drain.
def serve.stream.abort(~S: Type, ~abort: S -> StreamAbort -> IO(Unit),
  reason: StreamAbort, state: Maybe<&1, S & Bool>) -> IO(Unit):
  match state:
    case None{}: IO.pure(Unit, Unit{})
    case Some{pair}:
      (value, dropped) = pair
      abort(value, reason)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=StreamAbort