def list_dir.fin

bend-kit-files@0.3.1.0 · files.bend:221

import Base

221def list_dir.fin(r: Result<&1, &1, U32 & String, String>) ->
222  Result<&1, &1, U32 & String, List<&2, String>>:
223  match r:
224    case Fail{e}:
225      Fail{e}
226    case Done{s}:
227      Done{List.sort(~String, ~String.is_le,
228        List.filter(~String, ~(n => Bool.not(String.is_empty(n))),
229          String.split(s, Chr{0})))}