[英]Clean3.0 get directory contents
我正在使用Cleanide for Clean3.0
編程語言。 我想做的是實現一個函數,該函數接收系統中目錄的名稱,並返回該目錄中所有文件的列表。
我不知道這種功能的定義是否需要像File -> [string]
或其他內容,即使該目錄是一個文件,也可能不是Clean
的開發者的意思。
非常感謝!
此功能在StdEnv環境中不可用,但是有兩個庫可以幫助解決此問題:
目錄庫包含一個模塊目錄 ,該目錄具有功能getDirectoryContents :: !Path !*env -> (!(!DirError, [DirEntry]), !*env) | FileSystem env
getDirectoryContents :: !Path !*env -> (!(!DirError, [DirEntry]), !*env) | FileSystem env
。
平台庫包含一個模塊System.Directory ,該模塊具有函數readDirectory :: !FilePath !*w -> (!MaybeOSError [FilePath], !*w)
。
在這兩種情況下,第一個參數是目錄的路徑,第二個參數是*World
,這是Clean執行不純操作的典型方式(請參閱語言報告的 第9章 )。
帶目錄:
import Directory
Start w
# (dir,w) = getDirectoryContents (RelativePath []) w
= dir
使用平台:
import System.Directory
Start w
# (dir,w) = readDirectory "." w
= dir
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.