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

Question

我把它放在Shapes.hs中:

module Shapes   
( Shape(Rectangle)
) where 

data Shape = Circle | Rectangle deriving (Show)

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

打字Circle工作.我只Rectangle在paranthesis中指定,为什么它有效？

Answer 1

这是使用的副作用:load.如果你改为使用

ghci> :m +Shapes

要么

ghci> import Shapes

你将无法访问Circle构造函数.