haskell - 更好的 `:browse` 命令 (GHCi)

标签 haskell ghci

我想编写一个 GHCi 宏,通过过滤结果列表来增强 :browse (基本上,一个简单的 grep for :browse: 输出)。例如,要查看包含单词 Monad 的所有输出:

 Prelude> :mybrowse Prelude Monad
 (=<<) :: Monad m => (a -> m b) -> m a -> m b
 class Monad m where
 mapM :: Monad m => (a -> m b) -> [a] -> m [b]
 mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
 sequence :: Monad m => [m a] -> m [a]
 sequence_ :: Monad m => [m a] -> m ()
 Prelude> 

我看不到使用 :def 实现此功能的方法。有办法吗?

最佳答案

几年前做了类似的事情(以及更多)并将其写成教程。不知道它是否仍然有效,但看看

http://www.haskell.org/haskellwiki/Ghci#Using_.ghci.2C_a_mini-tutorial

关于haskell - 更好的 `:browse` 命令 (GHCi),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20640356/

相关文章:

haskell - 为什么这个表达式有一个有效的类型?

haskell - 无法将预期类型 `Maybe (String, Int, String)' 与实际类型 `([Char], t0, [Char])' 匹配

haskell - 如何使用 Esqueleto 执行 "SELECT ... IN (SELECT ...)"?

haskell - GHC中中断也是异步异常吗?

Haskell - 如何定义依赖类型 Remainder(即 Rmndr 模数)?

haskell - 为什么将多态函数应用于同一函数内的不同输入时,类型推断会失败

haskell - 如何让 Haskell 或 ghci 能够显示汉字并运行汉字命名脚本?

haskell - 为什么 `succ i` 在 `i::Num a => a` 处有效(而不是 `Enum a` )?

haskell - haskell如何确定隐式foralls中类型变量的顺序?

haskell - 函数应用作为身份 Monad : how is it an instance of the Monad typeclass?