def active_found

cswap-bend-cli@0.1.0.0 · cfgio.bend:185

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

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