def first_err

cswap-bend-cli@0.1.0.0 · args.bend:154

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

154def first_err(msgs: List<&2, String>) -> String:
155  match msgs:
156    case Nil{}:
157      ""
158    case Con{+h, t}:
159      first.pick(String.is_empty(h), first_err(t), h)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/args:build