如何控制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 Expresp ghci Exp.然后只有导出的实体可用.