View.live_pid: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/view.bend as View
Lines 77-82 of cswap-bend-cli@0.1.0.0/tui/view.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&start_line=77&end_line=82

import Base

def live_pid(+live: Bool, +p: Maybe<&2, U32>) -> Maybe<&2, String>:
  match live p:
    case True{} Some{n}:
      Some{"pid " ++ U32.show(n)}
    case _ _:
      None{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show