Cfgio.active_found: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
Lines 185-190 of cswap-bend-cli@0.1.0.0/cfgio.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&start_line=185&end_line=190

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/profile.bend as P

def active_found(m: Maybe<&2, P.Prof>, +name: String) -> Act.of(Unit):
  match m:
    case Some{p}:
      Act.pure(Unit, Unit{})
    case None{}:
      Act.fail(Unit, 1, "active_profile '" ++ name ++ "' names no profile; `cswap profile list` shows the profiles")

Uses (8):
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=fail
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Prof