为什么我可以使用我的值构造函数，即使我不导出它？

Question

为了练习，我在一个名为 "Queue" 的模块中实现了一个队列数据类型。我的数据类型也称为 "Queue"，它的唯一值构造函数也是如此：

module Queue (Queue, enq, emptyQueue) where

data Queue a = Queue {
  inbox  :: [a],
  outbox :: [a]
} deriving (Eq, Show)

emptyQueue :: Queue a
emptyQueue = Queue [] []

enq :: a -> Queue a -> Queue a
enq x (Queue inb out) = Queue (x:inb) out

-- other function definitions (irrelevant here)...

据我了解，因为我在导出语句中写了Queue，而不是Queue(..)或Queue(Queue)，所以我不希望我的数据类型的值构造函数由模块导出。这正是我想要的，出于封装的目的：用户不应该直接使用值构造函数；只有 emptyQueue、enq 和我的界面中的其他功能。

但是（我的问题的解决方案对于经验丰富的 Haskellers 来说可能是显而易见的），如果我在 GHCi 中加载我的模块，我可以直接使用值构造函数。

$ ghci Queue.hs
GHCi, version 7.8.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling Queue            ( Queue.hs, interpreted )
Ok, modules loaded: Queue.

λ> Queue [1] [2] 
Queue {inbox = [1], outbox = [2]}

如上所述，这是不可取的。我做错了什么？

Answer 1

你没有做错任何事。只是为了方便起见，ghci 忽略了它加载的模块的作用域规则。

如果您想查看通常可用的内容，您可以

:m -Queue
:m +Queue

稍后您可以 return 使用

进入 "everything is available" 模式

:m *Queue

另见官方文档What's really in scope at the prompt?。

为什么我可以使用我的值构造函数，即使我不导出它？

Why am I able to use my value constructor even though I don't export it?

haskell

module

encapsulation

ghci

value-constructor