haskell - 如何控制 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？

Answer 1

State 和 i 不会导出，但如果您在 ghci 中加载解释模块，则该模块的所有顶级定义都在范围之内。要隐藏未从 ghci 导出的内容，请编译模块并加载已编译的模块，:l Exp 和 ghci Exp。那么只有导出的实体可用。