Notices.access: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/notices.bend as Notices
Lines 27-34 of bend-kit-camber@0.15.0.1/notices.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/notices.bend&start_line=27&end_line=34

import Base
import bend-kit-time@0.3.0.0/time.bend as Time
import bend-kit-int@0.2.0.0/int.bend as Int
import bend-kit-notch@0.4.0.0/notch.bend as Notch

def access(config: Access, notice: Notice) -> IO(Unit):
  match config:
    case Disabled{}: IO.pure(Unit, Unit{})
    case Enabled{format}:
      Notice{status, duration, mapped, stopped, outcome} = notice
      Notch.info(Notch.Logger{Notch.Info{}, format, Nil{}}, "access",
        [Notch.num("status", status), Notch.str("duration_ms", Int.I64.show(Time.Duration.to_ms(duration))),
         Notch.flag("mapped", mapped), Notch.flag("stopped", stopped), Notch.str("outcome", outcome.name(outcome))])

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=Access
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=Notice
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/notices.bend&name=outcome.name
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=I64.show
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Level
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Logger
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=flag
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=info
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=num
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=str
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Duration.to_ms