为什么我的测试文件不会导入我的数据结构？ 哈斯克尔

Question

我目前正在为（非常简单的）二十一点游戏编写单元测试，并且我的测试文件（Tests.hs）似乎没有导入我在为（HelpFunctions.hs）进行单元测试的文件中声明的数据结构。 我可以访问此文件中的功能/方法，但不能访问数据结构。 有人可以帮我发现问题吗？

这是我的测试文件的顶部：

module Tests(performTests) where
import Test.HUnit
import HelpFunctions

cardList = [(Hearts, Ace)]
(...)

这是我要为其编写测试的文件的顶部

module HelpFunctions(Suit, Value, blackjack, cardDeck, shuffleOne, 
                     shuffleCards, getValue, addHand, dealCard, bust, 
                     getHighest
                    ) where

import System.Random
import Control.Monad(when)

{- Suit is one of the four suits or color of a playing card 
   ie Hearts, Clubs, Diamonds or Spades
   INVARIANT: Must be one of the specified.
 -}
data Suit = Hearts | Clubs | Diamonds | Spades deriving (Show)

{- Value is the numeric value of a playing card according to the rules of blackjack. 
   INVARIANT: Must be one of the specified.
 -}
data Value = Two | Three | Four | Five | Six | Seven | Eight | 
             Nine | Ten | Jack | Queen | King | Ace 
             deriving (Eq, Show)
(...)

当编译测试文件时，我得到了错误

    Tests.hs:6:14: error: Data constructor not in scope: Hearts
  |
6 | cardList = [(Hearts, Ace)]   |              ^^^^^^

Tests.hs:6:22: error: Data constructor not in scope: Ace
  |
6 | cardList = [(Hearts, Ace)]   |                      ^^^

我还有另一个文件，可以从其中导入HelpFunctions和数据结构，并且可以正常工作。

Answer 1

您的问题在这里：

module HelpFunctions(Suit, Value, ...

这行HelpFunctions导出类型Suit和Value ，但不导出其数据构造函数（即类型是抽象的）。

你要

module HelpFunctions(Suit(..), Value(..), ...

您可以显式列出所有构造函数，但是..简写表示法表示“此类型的所有数据构造函数”。

---

参考： Haskell 2010语言报告， 5.2导出列表 ：

2. 通过声明的代数数据类型牛逼 data或newtype声明可以通过以下三种方式中的一种被命名为：

   • 形式T命名类型， 但不命名构造函数或字段名 。 导出没有类型构造函数的类型的能力允许构造抽象数据类型（请参见5.8节）。
   • 形式T（c ₁ ，…，c _n ）命名类型及其部分或全部构造函数和字段名称。
   • 缩写形式T (..)命名类型及其当前在范围内（无论是否限定）的所有构造函数和字段名称。