限制数据构造函数可以具有的元素数量

Question

我正在Haskell写一个ADT代表一手牌.我的问题是,我想将(Suit,Face)代表卡的数量限制为5代表一只手.

data Card = Hand [(Suit,Face)]

我试图做的是这个,但它不起作用.

data Card = Hand [(Suit,Face),(Suit,Face),(Suit,Face),(Suit,Face),(Suit,Face)]

我的问题是:我如何将元组数量限制为5？

Answer 1

我想补充一点,如果您使用基于5元组的解决方案(如其他答案中所建议的那样),您仍然可以拥有所需的所有折叠/遍历功能.特别是,首先定义

import Control.Applicative
import Data.Foldable
import Data.Traversable

data Tuple5 a = Tuple5 a a a a a

并在其上定义折叠和遍历操作:

instance Traversable Tuple5 where
    traverse f (Tuple5 a b c d e)
            = Tuple5 <$> f a <*> f b <*> f c <*> f d <*> f e
instance Foldable Tuple5 where
    foldMap = foldMapDefault
instance Functor Tuple5 where
    fmap    = fmapDefault

然后,你可以拥有

data Hand = Hand (Tuple5 Card)

和折叠/横向移动利用从任何方法中的结构Foldable/ Traversable/ Functor.

更新:最近我创建了一个小型库tuples-homogenous-h98,它定义newtype了同源元组的别名,例如

newtype Tuple5 a = Tuple5 { untuple5 :: (a,a,a,a,a) }

并增加适当的Traversable,Foldable,Functor,Applicative和Monad实例.

Answer 2

怎么样

data Card = Hand (Suit, Face) (Suit, Face) (Suit, Face) (Suit, Face) (Suit, Face)

？

或者,如果你真的想使用一个列表(我的意思是,如果你想要15张牌,我的建议变得非常愚蠢),你可以保留data Card = Hand [(Suit, Face)]然后告诉用户不要使用构造函数,而是提供一个"智能构造函数"喜欢

fromList :: [(Suit, Face]) -> Maybe Card
fromList xs 
        | length xs == 5 = Just (Hand xs)
        | otherwise      = Nothing

然后,您也可以使构造函数本身保持可用状态,例如"仅当您保证提供的列表包含精确的5个元素时才使用".

顺便说一句:是不是命名数据类型Card和构造函数Hand有点违反直觉？我认为应该Hand在你的情况下调用数据类型.Card是一个不错的别名Suit- Face对,所以你可以做type Card = (Suit, Face)和data Hand = Hand [Card].

Answer 3

您可以为Cards创建一个类型,使用五个Card元素创建Hand类型:

type Card = (Suit, Face)
data Hand = Hand Card Card Card Card Card