使用 cabal 安装后在 haskell 中导入 lib

Question

请原谅这个问题的简单性，但我没有找到另一个可以解决我的问题的问题。我已经安装了 haskell 和 leksah，然后执行“cabal install nat”来安装自然数库。该库看起来像是安装在“/Users/jstanford/Library/Haskell/ghc-7.0.4/lib/nat-0.2/lib”中，

我在 leksah 中创建了一个工作区和一个包，并更新了我的首选项以查看：

/库/框架/GHC.framework /用户/jstanford/库/Haskell /Users/jstanford/.leksah-0.10/packageSources

用于包源，并保留默认的 ~/.leksah-0.10/packageSources 用于解压 cabal 包。

我从“函数式算法设计的珍珠”中获取了第一段代码，所以我的代码如下所示：

-----------------------------------------------------------------------------
--
-- Module      :  Main
-- Copyright   :
-- License     :  AllRightsReserved
--
-- Maintainer  :
-- Stability   :
-- Portability :
--
-- |
--
-----------------------------------------------------------------------------

module Main (
    main
) where

import Data.List ((\\))
import GHC.Arr (accumArray, elems, Array(..))



minfree :: [Nat] -> Nat
minfree xs = head([0 ..])\\ xs

search :: Array Int Bool -> Int
search = length takeWhile id . elems

checklist :: [Int] -> Array Int Bool
checklist xs = accumArray(V) False (0,n)
               (zip (filter (<= n) xs) (repeat True))
               where n = length xs

main = (

    minfree[0, 2, 5]
    )

Leksah 能够找到 \ 和 Array 的导入，但找不到 Nat。有关如何查找导入的任何指示吗？编译器还会抱怨accumArray(V)。我怀疑 V 并不真正应该是大写字母 V，而是一些看起来像 V 的符号。对此的指导也将非常感激！

Answer 1

Nat 类型在 Data.Number.Nat，所以你应该将它导入到文件的顶部：

import Data.Number.Nat

至于(V)，它可能意味着成为<代码>(||)。 “V”很可能是 ∨，逻辑或的符号：通常称为布尔或运算符。像这样的运算符替换在排版 Haskell 代码中很常见，但在您习惯看到它们之前可能会很混乱。

此外，您不应从 GHC.Arr 导入数组函数；这是一个内部 GHC 模块；我建议导入 Data.Array代替。