def notices

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

import Base
import bend-kit-camber@0.15.0.1/notices.bend as Notices

933def notices(~N: Data, ~H: Data, ~E: Data,
934  ~notify: N -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
935  ~report: N -> E -> IO(Unit),
936  entered: List<&2, Policy<H>>, +observer: N, +notice: Notices.Notice
937) -> IO(Unit):
938  match entered:
939    case Nil{}: IO.pure(Unit, Unit{})
940    case policy <> rest:
941      do IO<Unit>:
942        result : Result<&2, &2, E, Unit> <- notify(observer, policy, notice)
943        notice.result(~N, ~E, ~report, observer, result)
944        notices(~N, ~H, ~E, ~notify, ~report, rest, observer, notice)