如何控制Haskell中记录的导出？

Question

以下是示例模块：

module Exp ( initial, myval ) where
data State = State { i :: Int }
initial = State { i = 123 }
myval st = i st

在GHCI中加载模块后，我可以看到State和i名称也已被导出。我可以获取它们的类型并使用它们。如何限制导出，以便仅导出initial（一个黑盒子）和myval？

在 GHCI 中加载模块后，我可以看到 State 和 i 名称也被导出了。我可以获取它们的类型并使用它们。如何限制只导出 initial（一个黑盒子）和 myval？

- user1002430

Answer 1

State 和 i 没有被导出，但如果你在 ghci 中加载一个解释的模块，那么该模块的所有顶级定义都在作用域内。为了隐藏没有导出的内容，编译该模块并加载编译后的模块，使用:l Exp 或 ghci Exp。然后只有导出的实体是可用的。

- Daniel Fischer