def server.notified

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

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

1037def server.notified(~K: Data, ~H: Data, ~E: Data,
1038  ~notify: K -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
1039  ~report: K -> E -> IO(Unit), ~access: K -> Notices.Access,
1040  ~done: TransportCompletion.Completion<ApplicationReport<H>> -> IO(Unit),
1041  +config: K, +notice: Notices.Notice, application: ApplicationReport<H>,
1042  status: U32, outcome: TransportCompletion.Outcome
1043) -> IO(Unit):
1044  match application:
1045    case Dispatched{+entered, +mapped, +stopped}:
1046      do IO<Unit>:
1047        notices(~K, ~H, ~E, ~notify, ~report, entered, config, notice)
1048        Notices.access(access(config), notice)
1049        done(TransportCompletion.Completion{Dispatched{entered, mapped, stopped}, status, outcome})
1050    case CapacityRejected{}:
1051      do IO<Unit>:
1052        Notices.access(access(config), notice)
1053        done(TransportCompletion.Completion{CapacityRejected{}, status, outcome})