def nonempty.pick

cswap-bend-cli@0.1.0.0 · cliops.bend:83

import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops

import Base

83def nonempty.pick(empty: Bool, +s: String) -> Maybe<&2, String>:
84  match empty:
85    case True{}:
86      None{}
87    case False{}:
88      Some{s}

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/cliops:nonempty_str