def server.completed

bend-kit-camber@0.15.0.1 · camber.bend:1069

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

1069def server.completed(~K: Data, ~H: Data, ~E: Data,
1070  ~notify: K -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
1071  ~report: K -> E -> IO(Unit), ~access: K -> Notices.Access,
1072  ~done: TransportCompletion.Completion<ApplicationReport<H>> -> IO(Unit),
1073  completion: TransportCompletion.Completion<NoticePayload<K, H>>
1074) -> IO(Unit):
1075  TransportCompletion.Completion{NoticePayload{config, started, +application}, +status, +outcome} = completion
1076  do IO<Unit>:
1077    ended : Time.Duration <- Time.mono()
1078    server.completed.report(~K, ~H, ~E, ~notify, ~report, ~access, ~done, config, Time.Duration.sub(ended, started), application, status, outcome)