Idris2/libs
Stiopa Koltsov 0ecf74e434 System.Directory.nextDirEntry
* add `nextDirEntry` which returns `Maybe String`, so `Nothing` on
  the end of directory unlike `dirEntry` which returns unspecified error
  on the end of directory
* `dirEntry` is deprecated now, but not removed because compiler depends on it
* native implementation of `dirEntry` is patched to explicitly reset `errno`
  before the `readdir` call: without it end of directory and error were
  indistinguishable
* test added
2021-07-17 14:57:27 +01:00
..
base System.Directory.nextDirEntry 2021-07-17 14:57:27 +01:00
contrib Change semantics of lines and unlines function to match Haskell and other languages (#1585) 2021-07-17 14:54:23 +01:00
network Expose malloc and free from System.FFI 2021-07-13 10:24:26 +01:00
prelude Accept HasIO in onCollect functions 2021-07-17 14:42:34 +01:00
test Change semantics of lines and unlines function to match Haskell and other languages (#1585) 2021-07-17 14:54:23 +01:00