def sys.list

ezsys@0.1.0.0 · src/sys.bend:169

import Base
import ezsys@0.1.0.0/src/dir.bend as Dir

169# a directory's names, less "." and "..", sorted; a failed read is the answer
170def sys.list(
171  path: String
172) -> IO(Result<&1, &1, U32 & String, List<&2, String>>):
173  IO.bind(Result<&1, &1, U32 & String, List<&2, String>>,
174    Result<&1, &1, U32 & String, List<&2, String>>, ezsys.list(path),
175    res => IO.pure(Result<&1, &1, U32 & String, List<&2, String>>,
176      Dir.dir.step(res)))