Notch.render.as: def of bend-kit-notch@0.4.0.0
Import: import bend-kit-notch@0.4.0.0/notch.bend as Notch
Lines 208-215 of bend-kit-notch@0.4.0.0/notch.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-notch@0.4.0.0/notch.bend&start_line=208&end_line=215

import Base

def render.as(f: Format, t: Maybe<&2, String>, lvl: Level, msg: String,
  fs: List<&2, Field>) -> String:
  match f:
    case Logfmt{}:
      time.text(t) ++ "level=" ++ Level.name(lvl) ++ " msg=" ++ tq(msg) ++ fields.text(fs)
    case Json{}:
      "{" ++ time.json(t) ++ quote("level") ++ ":" ++ quote(Level.name(lvl)) ++ "," ++
        quote("msg") ++ ":" ++ quote(msg) ++ fields.json(fs) ++ "}"

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Format
  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=Level.name
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=fields.json
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=fields.text
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=quote
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=time.json
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=time.text
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=tq