簡體   English   中英

Clean3.0獲取目錄內容

[英]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.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM