def nonempty

near-v-framework@0.4.0.0 · domain/architecture/system/effs/io.bend:128

import Base

128# The trimmed, non-empty strings.
129def nonempty(xs: List<&2, String>) -> List<&2, String>:
130  match xs:
131    case []:
132      []
133    case +x <> rest:
134      keep_filled(Bool.not(String.is_empty(String.trim(x))), String.trim(x), nonempty(rest))