更新

Question

我正在玩Turtle，我遇到了以下问题。

我想做（shell）

之类的事情

ls | grep 'foo'

我尝试使用Turtle是

grep (prefix "foo") (ls ".") & view

但我收到以下消息

Couldn't match type ‘Turtle.FilePath’ with ‘Text’
Expected type: Shell Text
  Actual type: Shell Turtle.FilePath
In the second argument of ‘grep’, namely ‘(ls ".")’
In the first argument of ‘(&)’, namely
  ‘grep (prefix "foo") (ls ".")’

我理解ls会返回FilePath，而grep会在Text上投放，那么我该怎么办？

更新

显然有一些解决方案需要来回转换FilePath到Text。这超出了我期望的类似程序的简单性。

有人提到find函数，它可以以某种方式解决问题。但是find相当于find shell函数，我只是想做ls | grep "foo"。我不是想解决一个现实生活中的问题（如果我是，我会转而使用bash），而是试图像bash中那样组合简单的砖块。不幸的是，看起来Turtle中的砖块并不容易组合： - （。

Answer 1

我们可以使用grep与Shell filterByPattern :: MonadPlus m => Pattern x -> FilePath -> m FilePath filterByPattern somepattern somepath = case match somepattern (either id id (toText somepath)) of [] -> mzero otherwise -> return somepath greppedls :: FilePath -> Pattern x -> Shell FilePath greppedls somepath somepattern = ls somepath >>= filterByPattern somepattern实例结合使用match代替MonadPlus进行过滤：

MonadPlus

修改，而不是使用不必要的一般filterByPattern :: Pattern x -> FilePath -> Shell FilePath filterByPattern somepattern somepath = case match somepattern (either id id (toText somepath)) of [] -> select [] -- no matches, so filter this path otherwise -> select [somepath] -- let this path pass，这是一个使用特定于龟的组合器select进行过滤的实现：

foo :: Shell a

值a有点像genlist :: a -> Shell b s＆＃34;的列表。如果我们有一个函数a，每个b生成一个（可能是空的！）b列表，我们可以使用{{{}获取(>>=)列表1}} operator：foo >>= genlist。

编辑＃2 ：标准海龟功能find已使用模式过滤文件。它是递归的，并在子目录中进行搜索。

Answer 2

要从FilePath转换为您使用的文本：

fp :: Format r (FilePath -> r)

以下是一个例子：

format fp ("usr" </> "lib")

有几个问题，所以Gabriel几天前决定更新教程：

https://github.com/Gabriel439/Haskell-Turtle-Library/commit/a2fff2acf912cc7adb2e02671340822feb0e9172

要回答你的（更新的）问题，我能提出的最好的问题是：

format fp <$> ls "." & grep (has "foo") & view

&扮演的角色是|。

作为个人笔记，它当然不像ls | grep 'foo'那么短，但考虑到Haskell是一种打字语言，它仍然相当优雅。

Answer 3

字面上的答案就是这样一句话：

example =
    view (ls "." & fmap (format fp) & grep (prefix "foo") & fmap toText)

惯用的答案是使用find实用程序

Answer 4

尝试使用repr

repr :: Show a => a -> Text

如何在乌龟中获得ls的结果

更新

4 个答案: