Camber.notices: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/camber.bend as Camber
Lines 933-944 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=933&end_line=944

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

def notices(~N: Data, ~H: Data, ~E: Data,
  ~notify: N -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
  ~report: N -> E -> IO(Unit),
  entered: List<&2, Policy<H>>, +observer: N, +notice: Notices.Notice
) -> IO(Unit):
  match entered:
    case Nil{}: IO.pure(Unit, Unit{})
    case policy <> rest:
      do IO<Unit>:
        result : Result<&2, &2, E, Unit> <- notify(observer, policy, notice)
        notice.result(~N, ~E, ~report, observer, result)
        notices(~N, ~H, ~E, ~notify, ~report, rest, observer, notice)

Uses (9):
  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=List
  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=Policy
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=notice.result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=Notice