Freshen.fp_nonempty: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/freshen.bend as Freshen
Lines 49-54 of cswap-bend-cli@0.1.0.0/daemon/freshen.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&start_line=49&end_line=54

import Base
import cswap-bend-cli@0.1.0.0/usage/cred.bend as UCred

def fp_nonempty(+empty: Bool, +creds: String) -> IO(String):
  match empty:
    case True{}:
      IO.pure(String, "")
    case False{}:
      fp_pick(UCred.refresh_token(UCred.oauth.of(creds)), creds)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/freshen.bend&name=fp_pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/cred.bend&name=oauth.of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/cred.bend&name=refresh_token