Alex Ameen 62a43a742d primop: add readFileType, optimize readDir ... Allows checking directory entry type of a single file/directory. This was added to optimize the use of `builtins.readDir` on some filesystems and operating systems which cannot detect this information using POSIX's `readdir`. Previously `builtins.readDir` would eagerly use system calls to lookup these filetypes using other interfaces; this change makes these operations lazy in the attribute values for each file with application of `builtins.readFileType`. (cherry picked from commit 153ee460c5)		2023-08-10 18:51:05 +02:00
..
internal-api	Generate API docs with Doxygen	2023-03-10 12:51:06 -05:00
manual	primop: add readFileType, optimize readDir	2023-08-10 18:51:05 +02:00