def server.completed.report

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

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

1055def server.completed.report(~K: Data, ~H: Data, ~E: Data,
1056  ~notify: K -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
1057  ~report: K -> E -> IO(Unit), ~access: K -> Notices.Access,
1058  ~done: TransportCompletion.Completion<ApplicationReport<H>> -> IO(Unit),
1059  config: K, duration: Time.Duration, application: ApplicationReport<H>, +status: U32, +outcome: TransportCompletion.Outcome
1060) -> IO(Unit):
1061  match application:
1062    case Dispatched{+entered, +mapped, +stopped}:
1063      server.notified(~K, ~H, ~E, ~notify, ~report, ~access, ~done, config,
1064        Notices.Notice{status, duration, mapped, stopped, Notices.Transport{outcome}}, Dispatched{entered, mapped, stopped}, status, outcome)
1065    case CapacityRejected{}:
1066      server.notified(~K, ~H, ~E, ~notify, ~report, ~access, ~done, config,
1067        Notices.Notice{status, duration, False{}, False{}, Notices.Transport{outcome}}, CapacityRejected{}, status, outcome)