def ps_nonempty

cswap-bend-cli@0.1.0.0 · daemon/sess.bend:60

import Base

60def ps_nonempty(+ok: Bool, +t: String) -> Maybe<&2, String>:
61  match ok:
62    case True{}:
63      ps_some(String.is_empty(t), t)
64    case False{}:
65      None{}