为什么我可以使用这个“私有”值构造函数？

Question

我把它放在Shapes.hs中：

module Shapes   
( Shape(Rectangle)
) where 

data Shape = Circle | Rectangle deriving (Show)

然后我进入GHCi并用:l Shapes加载它。

键入Circle有效。我只在paranthesis中指定了Rectangle，为什么它会起作用？

Answer 1

使用:load会产生副作用。如果您改为使用

ghci> :m +Shapes

或

ghci> import Shapes

您将无法访问Circle构造函数。

Answer 2

在:l module或:l module.hs之后，您处于模块module的完整顶级范围内，这就是为什么Circle在您的情况下的范围。< / p>

请参阅：The effect of :load on what is in scope

Answer 3

因为ghci中的“：l”读取文件并解释它。它与“导入”不同。