def live_pid

cswap-bend-cli@0.1.0.0 · tui/view.bend:77

import cswap-bend-cli@0.1.0.0/tui/view.bend as View
import Base

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

Uses (6)

Used by (1)