Camber.dispatch.completed: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/camber.bend as Camber
Lines 946-957 of bend-kit-camber@0.15.0.1/camber.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/camber.bend&start_line=946&end_line=957

import Base
import bend-kit-http@0.38.1.1/http.bend as Http
import bend-kit-camber@0.15.0.1/notices.bend as Notices
import bend-kit-time@0.3.0.0/time.bend as Time

def dispatch.completed(~S: Type, ~N: Data, ~H: Data, ~E: Data,
  ~notify: N -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
  ~report: N -> E -> IO(Unit),
  observer: N, access: Notices.Access, started: Time.Duration, completion: Completion<S, H>
) -> IO(Completion<S, H>):
  Completed{state, Http.Res{+status, headers, body}, +entered, +mapped, +stopped} = completion
  do IO<Completion<S, H>>:
    ended : Time.Duration <- Time.mono()
    +notice : Notices.Notice = Notices.Notice{status, Time.Duration.sub(ended, started), mapped, stopped, Notices.ApplicationOnly{}}
    notices(~N, ~H, ~E, ~notify, ~report, entered, observer, notice)
    Notices.access(access, notice)
    return Completed{state, Http.Res{status, headers, body}, entered, mapped, stopped}

Uses (16):
  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=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=Completion
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=Policy
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=notices
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=Access
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=Notice
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=access
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Duration
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Duration.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=mono